+ [2019-04-11T12:01:00Z] canton7 That's your answer, then :P
+ [2019-04-11T12:21:04Z] 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
+ [2019-04-11T12:32:53Z] sine0 how do i edit my local bulit by name that appears on github
+ [2019-04-11T14:41:44Z] hightower2 Hey, there was some domain showing top github contributors by country. Anyone remembers what/where it was?
+ [2019-04-11T21:17:00Z] fxhp Does the Github API send web hooks for deployment status if the state is inactive?

message no. 171572

Posted by canton7 in #github at 2019-04-11T11:59:45Z

Caterpillar, that would make sense. We can't see anything about not being able to make edits, as that will be shown only do you, but you do need to push to the branch the PR was made from in order to make changes
+ [2019-04-12T09:05:08Z] wfq Hi all
+ [2019-04-12T09:05:32Z] wfq what sort of message do you usually guys use for your merges? Do you have a well established pattern?
+ [2019-04-12T09:47:43Z] Caterpillar wfq: you may want to speak with the project owner
+ [2019-04-12T09:49:09Z] wfq Caterpillar, this is an open question on what do you guys usually do from a logistic point of view?
+ [2019-04-12T09:50:10Z] Caterpillar wfq: I am not an expert, I don't know