This repository has been archived by the owner on Dec 3, 2017. It is now read-only.

My portal.json and dat.json got deleted! #18

Closed

lsjroberts opened this issue Oct 14, 2017 · 0 comments

Collaborator

lsjroberts commented Oct 14, 2017

Sorry I made a mistake in #12!

I used git rm --cached portal.json when I should have used git update-index --skip-worktree portal.json (https://stackoverflow.com/a/40272289).

If you pull you'll lose yours too. Gimme a moment to fix it.

The text was updated successfully, but these errors were encountered:

lsjroberts mentioned this issue

Add default config files back #19

Merged

neauoire closed this as completed in #19

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.