+[2019-05-09T20:34:10Z]pthomasbut before the push everything locally was correct +[2019-05-09T22:29:42Z]SaraDRHi, 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]SaraDRWith a search pattern "project:<name>" +[2019-05-09T22:30:45Z]SaraDROr 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]SaraDRnvm, found it.
+[2019-05-10T05:16:57Z]archpcDumb 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]archpcwhy is that? +[2019-05-10T12:30:51Z]tuskkk____Hello, +[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?