get ready for github issues migration; note this was a different commit than for master due to branch-specific changes, so expect some possible turbulence downstream