Re: Thoughts for 5.8.2

Volker Lamp <[email protected]>
Newsgroups gmane.comp.jakarta.tapestry.devel
Message-ID <pony-79aacef0-fb64-47d5-bec2-27e4f44057cc-dev@tapestry.apache.org> 
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.