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

Posted by pthomas in #github at 2019-05-09T20:27:20Z

ok, I pushed all my commits 'git push origin master' and it reports 'Everything up-to-date', but when I look at the repo on the website the latest commit is missing
+ [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?