+ [6 years ago] canton7 That's your answer, then :P
+ [6 years ago] Caterpillar Do you know if it is possible to edit https://github.com/BOINC/boinc/pull/3028 in order to replace the commits in it with this one? https://github.com/Germano0/boinc/commit/e8b3c913e4e3f066c179a2e84e0e9595a5937f8e
+ [6 years ago] sine0 how do i edit my local bulit by name that appears on github
+ [6 years ago] hightower2 Hey, there was some domain showing top github contributors by country. Anyone remembers what/where it was?
+ [6 years ago] fxhp Does the Github API send web hooks for deployment status if the state is inactive?

message no. 171576

Posted by sine0 in #github at 2019-04-11T12:32:53Z

how do i edit my local bulit by name that appears on github
+ [6 years ago] wfq Hi all
+ [6 years ago] wfq what sort of message do you usually guys use for your merges? Do you have a well established pattern?
+ [6 years ago] Caterpillar wfq: you may want to speak with the project owner
+ [6 years ago] wfq Caterpillar, this is an open question on what do you guys usually do from a logistic point of view?
+ [6 years ago] Caterpillar wfq: I am not an expert, I don't know