Web interface for switch between git branches for non-developers