Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [day] [month] [year] [list]
Date: Thu, 10 May 2018 22:40:01 +0200
From: magnum <>
Subject: GitHub settings

Hey y'all,

I finally changed GitHub settings to block direct pushes to the main 
(bleeding-jumbo) branch. From now on, everyone (except me) has to create 
a pull request first. Furthermore, for that PR to be merged, it has to 
be reviewed and accepted by at least one other person (doesn't have to 
be me at all though).

Dhiru and Claudio already have that workflow so in reality this is not 
much of a change. Everyone else seem to have lost interest FTM :-(


Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.