yade-dev team mailing list archive

[Anton Gladky <gladky.anton@xxxxxxxxx>]

Dear Yade developers,

I have protected master branch of Yade: disabled force-pushes to this branch
and prevented it from being deleted. Some more information you can
find here [1].

You will not be able to remove any pushed commits. So please think twice
and check all diffs before pushing to escape too much garbage in the trunk.

This action is needed from security point of view.

[1] https://help.github.com/articles/defining-the-mergeability-of-pull-requests/

Best regards

Anton