+[2016-09-23T13:14:42Z]Zarthus(branches, in git, are extremely cheap to make though) +[2016-09-23T13:15:27Z]Zarthusvarying 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]onlnrHow 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]onlnrah, 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. 151476
Posted by onlnr in #github at 2016-09-23T18:52:09Z
ah, I need to go to the main and download the full repo
+[2016-09-24T04:59:00Z]FreederHi, 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]ankitrajDoes my gerrit account name should always match to my git account? +[2016-09-24T10:13:22Z]ankitrajfor showing my commits of gerrit +[2016-09-24T10:59:01Z]Impalooankitraj: do you mean GitHub? +[2016-09-24T10:59:20Z]ImpalooGitHub will map GitHub users to commits through author and committer email addresses