On 07/27/2017 03:58 PM, Michał Górny wrote: >>>>> ** <kbd>Closes: <nowiki>https://github.com/gentoo/gentoo/pull/NNNN</nowi >>>>> ki></kbd>; — to automatically close a GitHub pull request, >>>> Is this a generic tag for any pull request of any platform? >>> No. As I've told multiple times already, there are *no* generic tags. It >>> just happens to be used by some random platforms. Some others use e.g. >>> 'Fixes' which you forbade. >>> >> Isn't that the point of having a GLEP to begin with? Trying to >> standardize the use of e.g the tags so that it has a consistent meaning >> and can be useful? >> > Tags are mentioned merely for convenience, and as examples. If you want > to request GitHub support to add support for special Gentoo tags you've > just invented, be my guest. But don't bother forwarding their reply to > me because I know their answer.
Right, so github automatically closes pull requests when encountering Closes, that doesn't indicate that Closes can't be used for other platforms to do similar things, or closing things manually if provided through other channels. The current wording indicates it is only for Github use "to automatically close a GitHub pull request," -- Kristian Fiskerstrand OpenPGP keyblock reachable at hkp://pool.sks-keyservers.net fpr:94CB AFDD 3034 5109 5618 35AA 0B7F 8B60 E3ED FAE3
signature.asc
Description: OpenPGP digital signature
