+ [2019-05-09T20:34:10Z] pthomas but before the push everything locally was correct
+ [2019-05-09T22:29:42Z] SaraDR Hi, can I search for issues, which is not in a project? the "project" search dropdown only shows a list of actual projects.
+ [2019-05-09T22:30:08Z] SaraDR With a search pattern "project:<name>"
+ [2019-05-09T22:30:45Z] SaraDR Or maybe there's a different way, to automate this? I'm trying to add all new created issues, into the the github project.
+ [2019-05-09T23:18:54Z] SaraDR nvm, found it.

message no. 172246

Posted by antimatroid in #github at 2019-05-09T15:43:38Z

I wonder if anyone on here does any web development work? I made a site manager that is git-like and latex-like (nifty-site-manager.com) and am curious what other people think if they have time to play around and try to break it etc.?
+ [2019-05-10T05:16:57Z] archpc Dumb question, I forked a repo and when I change and add files to my fork GitHub desktop says it's up-to-date
+ [2019-05-10T05:17:01Z] archpc why is that?
+ [2019-05-10T12:30:51Z] tuskkk____ Had a PR, made a mistake of force pushing with `git reset --hard origin/master`, all the commits were gone, but I managed to restore them using git reflog. But now the PR is closed and even when I make new commits, I can't seem to link to that PR
+ [2019-05-10T12:31:18Z] tuskkk____ I can open a new PR but there is some discussion there that I want to keep, can someone advise me here?