'awaiting merge' label gets applied even if PR is closed #291

Activity

1. lysnikolaou commented on Oct 31, 2020

   

   lysnikolaou

   on Oct 31, 2020

   MemberAuthor

   More actions

   I'll quickly fix this later tonight, if we feel it's worth it.
2. lysnikolaou

   added a commit that references this issue on Oct 31, 2020

   Do not apply the 'awaiting merge' label on a closed PR

   ...

   This issue will close once commit 4d8cce3 is merged into the 'main' branch.

   4d8cce3
3. lysnikolaou

   closed this as completedin #292on Nov 2, 2020
4. lysnikolaou

   added a commit that references this issue on Nov 2, 2020

   Do not apply the 'awaiting merge' label on a closed PR (#292)

   ...

   This issue will close once commit 5edc7d1 is merged into the 'main' branch.

   5edc7d1