Tell the “certain individual” to get over it :-) We’ve discussed this several times and it isn’t a simple fix. What we want is to regenerate when something actually changes in the generated files, but we don’t have a good way of doing it.
I’m sure we would be happy to see a PR from that “certain individual” :-) Ralph > On Oct 17, 2018, at 2:50 PM, Howard Pritchard <hpprit...@gmail.com> wrote: > > Hi Folks, > > A certain individual is complaining about the fact that MTT repo currently > is set to have github pages updates following every commit. > > I suspect fixing this requires intervention by someone with admin rights on > the repo. > > Could we have this feature disabled? > > Howard > > _______________________________________________ > mtt-devel mailing list > mtt-devel@lists.open-mpi.org > https://lists.open-mpi.org/mailman/listinfo/mtt-devel _______________________________________________ mtt-devel mailing list mtt-devel@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/mtt-devel
