From: Richard Si <63936253+ichard26@users.noreply.github.com>
Date: Thu, 1 Apr 2021 21:24:18 +0000 (-0400)
Subject: Push contributors to use Next PR Number (#2080)
X-Git-Url: https://git.madduck.net/etc/vim.git/commitdiff_plain/48dfda084a8c854a73c11b6c91c67deae5f86ca3?ds=sidebyside;hp=48dfda084a8c854a73c11b6c91c67deae5f86ca3

Push contributors to use Next PR Number (#2080)

This is a tool of my own making. Right now our requirement to have the
PR number in the changelog entry is pretty painful / annoying since
the contributor either has to guess or add the # retroactively after
the PR creation. This tool should make it way less painful by making
it simple to get your PR number beforehand.
---