have at most one push per 30mn to reduce the load on the github servers -- sorry guys