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

[Steffen Müthing]

Hi,

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?

Steffen
-------------- 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/20170914/f409a331/attachment.sig>