>NOTE: I have not yet deleted on the remote repo the branches that have been
>merged. I will do this in a few days.
I use the initial repository
jsource 692 > git remote -v
origin [email protected]:jsource (fetch)
origin [email protected]:jsource (push)
and I still pull from that. Only some time after the initial JPD/JCD
announcement, http://code.jsoftware.com/wiki/Git started to refer to
https://github.com/jsoftware/jsource
as an additional read-only mirror.
Which one is "the remote repo"?
Regarding deleting a branch:
It is absolutely OK to remove branches created to deal with
specific bugs, once the work is done and integrated.
(Example: the origin/Edotnonchar mini branch.)
Is the larger work on the "parser" really, really closed, though?
In the sense of: "it passes the entire test suite; it has no (known)
memory leaks anymore;" etc. Henry?
As long as a topic branch exists, further fixes/improvements specific
to these features can be maintained. It also remains possible to revert
to a version without the branch feature.
Much more than a merging a topic branch, deleting it expresses "this
is now part of the master branch and will always be."
Martin
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
