message no. 130940
Posted by apiarian in #github at 2016-04-09T12:06:29Z
i can `git merge <tag>` but it seems that making a PR with a <tag> as a head doesn't work. why the restriction?
Posted by apiarian in #github at 2016-04-09T12:06:29Z