Fix bug in github installation generic procedure: username and project name were switched. Now also determine the git dev branch at runtime.