From: Uwe B. <ou...@ma...> - 2016-02-11 10:04:28
|
> On Wed, 10 Feb 2016, at 03:06 PM, Uwe Brauer wrote: > It's not automatic. I've updated the repo and invited you to be a owner > of the github group. Thanks. I accepted. Stupid question, how to I update the repo after a push to sf? I don't see any relevant button? Uwe |