We (Herny, myself, and others) are working on the rep hosted by jsoftware. I think this is then mirrored at github. Perhaps tags aren't handled properly there. The tags are in the git repo that we are using.
On Mon, May 30, 2016 at 4:25 PM, <neit...@gaertner.de> wrote: > Eric Iverson <sou...@jsoftware.com> 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 g...@jsoftware.com: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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
