added a helper for switching remotes and made the version ticker smarter
added a helper for switching remotes and made the version ticker smarter

angr/angr-dev,chubbymaggie/angr-dev,angr/angr-dev,chubbymaggie/angr-dev