+ [2016-09-23T13:14:42Z] Zarthus (branches, in git, are extremely cheap to make though)
+ [2016-09-23T13:15:27Z] Zarthus varying people have various ideas on what the best practices are. Do what you and your team find to work the best.
+ [2016-09-23T18:48:55Z] onlnr How do I download a zip file from here. In tutorial the github page has a clone/download button on the screenshot next to create new file / find file / history, but I don't see it https://github.com/Jiiks/BetterDiscordApp/tree/master/Installers/Electron
+ [2016-09-23T18:52:09Z] onlnr ah, I need to go to the main and download the full repo
+ [2016-09-23T21:21:57Z] dmj` hey, if a github organization isn't in use, is there a process in place to transfer ownership?

message no. 151322

Posted by fission6 in #github at 2016-09-23T00:13:28Z

i specfically asked a teammate to not use the PR "merge to master" button but merge master in locally to the branch and run tests
+ [2016-09-24T04:59:00Z] Freeder Hi, I'm maintaining a git repo. People submit PRs, and I manually download them, tweak a few things, then push to the master branch. Somewhere along there, github loses track that the push is associated with the original PR, and I get orphan PRs that say 'closed w/o merging' (I state 'closes #XX' in the merge). How can I modify my process to ensure PRs are linked to merges?
+ [2016-09-24T10:13:03Z] ankitraj Does my gerrit account name should always match to my git account?
+ [2016-09-24T10:13:22Z] ankitraj for showing my commits of gerrit
+ [2016-09-24T10:59:01Z] Impaloo ankitraj: do you mean GitHub?
+ [2016-09-24T10:59:20Z] Impaloo GitHub will map GitHub users to commits through author and committer email addresses