Hi Ben > Any suggestions for the best way to solve this? > So far, I've worked with GitHub, but now I've switched my repo's remote > origin to GitBox. > Should I just push the branch to GitBox and hope for the best that > mirroring works and nothing clashes with the pre-existing branch? > Delete the GitHub branch first?
How about setting origin back to GitHub? That way you'd at least push to a repo that already has the branch. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tapestry.apache.org For additional commands, e-mail: dev-h...@tapestry.apache.org
