+ [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. 171571

Posted by Caterpillar in #github at 2019-04-11T11:46:59Z

https://github.com/BOINC/boinc/pull/3028/files Do you confirm that I cannot make edits because I have erased my forked repository which is the source of 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