+ [2019-03-01T09:44:50Z] neure hi
+ [2019-03-01T09:45:17Z] neure how do i undo accidental git push --force when I was in wrong branch?
+ [2019-03-01T09:51:38Z] ntkomata Oh... I think you can't....
+ [2019-03-01T17:39:29Z] wyre hi guys, how do the people to make those .dotfiles repos?
+ [2019-03-01T17:39:59Z] wyre perhaps they are making a git repo in $HOME?

message no. 170217

Posted by neure in #github at 2019-03-01T09:45:17Z

how do i undo accidental git push --force when I was in wrong branch?
+ [2019-03-02T11:39:13Z] treehug88 wyre some people apparently use 'bare git repositories': https://developer.atlassian.com/blog/2016/02/best-way-to-store-dotfiles-git-bare-repo/
+ [2019-03-02T17:43:11Z] wcarss anyone here know if the github desktop project has an IRC channel?
+ [2019-03-03T02:36:48Z] acresearch people, someone forked one of my projects without me knowing, what does this mean? are they stealing credit for it? are they trying to compete with me? can someone explain to me the community rules i am new
+ [2019-03-03T02:39:12Z] acresearch why would they fork it, the project is incomplete
+ [2019-03-03T02:45:49Z] nedbat acresearch: people fork repos for all sorts of reasons. maybe just to read the code, or keep track of it.