Alla förändringar skall ske genom pull-requests som mergas.
Checklistan för en pull-request är till för att inga väsentligheter missas. Grunden är att när alla saker är avcheckade på listan skall pull-requesten kunna genomföras.
Den som genomför merge skall se till att VERSION.txt är uppdaterad så är sista numret är stegat med 1 förhållande till senaste merge. Det är en fördel att VERSION.txt förändringen redan finns i pull-requesten, för då kan förändringen fort göras i web-guiet på github.