Removed outdated branch alias

The repo does not have a develop branch anymore