Re: I believe all of the 19-year-old branches can be deleted

2023-04-25 Thread Gary Gregory
Nothing should be different b/w gitbox and github as github is a mirror of gitbox. Use normal git commands and you should be fine. A fork is created under your own account in github, then you'd create PRs from there (unless you'd commit to gitbox or github directly). Gary On Tue, Apr 25, 2023 at

I believe all of the 19-year-old branches can be deleted

2023-04-25 Thread Joseph Kessselman
They all appear to date to when we were integrating the Sun stylesheet-compiler code into Xalan. Since that's completed work, I don't see any reason to retain those branches. Question: What's the procedure for creating a new branch or fork under gitbox (assuming that it is our master repositor