[Dune-devel] Accidental push to dune-common:master

[Steffen Müthing]

Hi everyone,

judging by the lack of enraged outcries, I think we should try this. I’ll disable pushing
to master, and we’ll see how it goes. If it turns out to be a real nuisance, we can always
go back.

Steffen


> Am 14.09.2017 um 21:44 schrieb Christian Engwer <christian.engwer at uni-muenster.de>:
> 
> Dear all,
> 
>> I just accidentally pushed what was supposed to be a merge request directly to the
>> master branch of dune-common (sorry about that…).
>> 
>> But that got me thinking: Should we just disable direct pushes to the master branch
>> in the core modules?
> 
> we discussed this a while ago and at that time the response was that
> several people where afraid of the extra effort to push mini changes
> (like fixing a doc typo) via a merge request. On the other hand I have
> the impression that everybody got accustomed to the new workflow and
> people are also opening merge requests for such small changes. Thus I
> have the impression that time is ready to just disable direct pushes.
> 
> Christian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: Message signed with OpenPGP
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20170918/71fe7115/attachment.sig>