+[2020-03-13T17:02:50Z]TidersYeah I've tested accross a bunch of public repos and it seems to be everywhere +[2020-03-13T17:03:22Z]TidersNot sure how to go about submitting a bug for this? +[2020-03-13T17:04:33Z]nedbatTiders: https://www.githubstatus.com/ doesn't mention it +[2020-03-13T17:04:39Z]nedbatTiders: write to support@github.com ? +[2020-03-13T17:04:53Z]TidersYeah I think I will then. Wasn't sure if they had a repo for it.
you may have to just git clone the code with that commit and use it
+[2020-03-14T05:02:08Z]finn0Is it possible to create a pull for a project directly from terminal? (for which I've no write permission) +[2020-03-14T05:06:21Z]finn0Sometimes I create a very small patches for which I don't need to create a separate fork for contribution, only clone, do some small changes (like fix typo, grammartical mistakes etc) and create pull request is required. +[2020-03-14T05:07:19Z]finn0So that I've to never leave my terminal to create a create a merge request. +[2020-03-14T10:18:15Z]ikoniais it possible to authentic pushes to github using an ssh key rather than an API key +[2020-03-14T10:21:26Z]roboirchttps://help.github.com/en/enterprise/2.17/user/github/authenticating-to-github/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent