Re: [hwloc-devel] Git: open-mpi/hwloc annotated tag hwloc-1.11.5 deleted. hwloc-1.11.5

2016-11-28 Thread Jeff Squyres (jsquyres)
On Nov 25, 2016, at 7:31 AM, Brice Goglin wrote: > > FWIW, I am trying to remove github automatic "release" tarballs from > the github page but it actually removes the corresponding git tag. > > Those releases are not autogen'ed, do not contain the doc, etc. > Users are confused when they downlo

Re: [hwloc-devel] Git: open-mpi/hwloc annotated tag hwloc-1.11.5 deleted. hwloc-1.11.5

2016-11-25 Thread Brice Goglin
FWIW, I am trying to remove github automatic "release" tarballs from the github page but it actually removes the corresponding git tag. Those releases are not autogen'ed, do not contain the doc, etc. Users are confused when they download tarballs from github instead of from the hwloc website. If