Re: GitHub Project Board: Pull Requests

Thanks again, Jan. Am Mi., 5. Sep. 2018 um 16:44 Uhr schrieb Jan Piotrowski < piotrow...@gmail.com>: > > I'd rather link cordova-create than cordova-js since the latter is not > > really tooling (it's kind of an outlier). > > Ok, changed. Makes sense. > > > But what's the difference between linke

Re: GitHub Project Board: Pull Requests

> I'd rather link cordova-create than cordova-js since the latter is not > really tooling (it's kind of an outlier). Ok, changed. Makes sense. > But what's the difference between linked and unlinked repos anyway? 1. "Add Cards" has a nice "Only show results from linked repositories" checkbox whi

Re: GitHub Project Board: Pull Requests

Thanks for creating this Jan! I'd rather link cordova-create than cordova-js since the latter is not really tooling (it's kind of an outlier). But what's the difference between linked and unlinked repos anyway? Cheers, Raphael Am Mi., 5. Sep. 2018 um 12:39 Uhr schrieb Jan Piotrowski < piotrow...

Re: GitHub Project Board: Pull Requests

Having (🤖/👩‍🔧) in the column title turned out to be a bad idea as it made the messages added to PRs very noisy. I removed them and added a card with the same information ("column managed by 👩‍🔧 + 🤖") instead. As I personally did benefit from having the Platforms PR board in going through all the e