added Synchro's option to switch to another devel branch