Updated part about development on github to exclude the devel branch