Eric Iverson <[email protected]> wrote:
> I did add tags for j805-beta-5 and for j805-beta-6 when I had done the
> relevant pushes to master, I see them. Don't you?
No, I don't:
jsource 704 > git tag -l
jsource 705 >
(Pulling from [email protected]:jsource)
Likewise, <https://github.com/jsoftware/jsource/tags> is empty.
I do see the tags in all other projects I have cloned, though, and hence
don't think it's a problem on my end. (But I often say that, eventally
turning out to be wrong :-)
I know that the sharing of tags can be disabled. I.e., when pushes/pulls
are done, they are not exported/imported along with code changes.
Tags are kept "private" in that mode.
I'll try to find the knobs controlling that and wil get back to you.
Martin
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
