Re: Pull request types in template on GitHub

2017-09-12 Thread Mojca Miklavec
10. sep. 2017 16:28 "Rainer Müller" : Hello, our GitHub pull request template [1] contains the following snippet which is used by the macportsbot to assign the corresponding label to it. ## Type(s) - [ ] bugfix - [ ] enhancement - [ ] security fix However, GitHub

Re: Pull request types in template on GitHub

2017-09-11 Thread Rainer Müller
On 2017-09-11 11:49, Zero King wrote: > On Sun, Sep 10, 2017 at 02:28:46PM +, Rainer Müller wrote: >> Hello, >> >> our GitHub pull request template [1] contains the following snippet >> which is used by the macportsbot to assign the corresponding label to it. >> >> ## Type(s) >> >> - [ ]

Re: Pull request types in template on GitHub

2017-09-11 Thread Zero King
On Sun, Sep 10, 2017 at 02:28:46PM +, Rainer Müller wrote: Hello, our GitHub pull request template [1] contains the following snippet which is used by the macportsbot to assign the corresponding label to it. ## Type(s) - [ ] bugfix - [ ] enhancement - [ ] security fix However, GitHub

Pull request types in template on GitHub

2017-09-10 Thread Rainer Müller
Hello, our GitHub pull request template [1] contains the following snippet which is used by the macportsbot to assign the corresponding label to it. ## Type(s) - [ ] bugfix - [ ] enhancement - [ ] security fix However, GitHub interpretes this as a list of tasks. This means that with that