What does branch-alias do? Also, we are not really using the name 7.x-dev anywhere anymore. Perhaps this is no longer needed.