{"shas":[["5bd9a147ba864c24a46b1a6852c38aac4ac9ad73","7c0d6b5f6e68f76e87373df1b56467a144e82283@gmail.com","Ajout du plugin jetty pour le support du JMX","francoisostyn"]],"ref":"refs/heads/master","size":1,"head":"5bd9a147ba864c24a46b1a6852c38aac4ac9ad73","push_id":40225833}