At least checkout 1.15-rc2 and tag it with 1.15.
I guess, 1.15-rc2 could be deleted afterwards. Or it could be left. I have
small preference for removing it since it gives more noise in `git tag`
On Tue, May 30, 2017 at 4:12 PM Allison, Timothy B. <[EMAIL PROTECTED]>