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 _______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp
