latest 3 messages by trepidacious

+ [2020-02-08T14:41:24Z] trepidacious BtbN: Ah great, so sounds like force will work fine for me. I assume that leaves any non-git stuff alone, like issues?
+ [2020-02-08T13:36:21Z] trepidacious I've tried the same process with a new, empty github repo and it worked fine, so the stuff I am pushing is ok.
+ [2020-02-08T13:35:58Z] trepidacious Hi, does anyone know what happens if I `git push --mirror` a local repo to a non-empty github repo? It only has a readme and a .gitignore in it, which I'm happy to lose.