+ [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. 172247

Posted by antimatroid in #github at 2019-05-09T15:47:30Z

there's a link to my personal site at the bottom of the page, which has my email address on the main index page if you do play and want to email me any comments/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?