mirror of
https://github.com/logos-messaging/pm.git
synced 2026-01-05 23:53:12 +00:00
Merge pull request #315 from waku-org/minor-tweak-orphan-prs-labelling
chore: suggest orphan PRs labeling procedure
This commit is contained in:
commit
3de1b1d4b6
@ -122,7 +122,7 @@ A _Deliverable_:
|
|||||||
- dogfooding
|
- dogfooding
|
||||||
- docs
|
- docs
|
||||||
|
|
||||||
Finally, for _Tasks_ that do not belong to a _Deliverable_:
|
Finally, for _Tasks_ or _PRs_ that do not belong to a _Deliverable_:
|
||||||
- MUST qualify either as (with related GitHub labels):
|
- MUST qualify either as (with related GitHub labels):
|
||||||
- `bug`: bugs reported by users or discovered internally, SHOULD be linked back to a corresponding _FURPS_ and _Milestone_.
|
- `bug`: bugs reported by users or discovered internally, SHOULD be linked back to a corresponding _FURPS_ and _Milestone_.
|
||||||
- `test`: maintaining and fixing broken tests, SHOULD ideally be linked back to a corresponding _FURPS_ and _Milestone_.
|
- `test`: maintaining and fixing broken tests, SHOULD ideally be linked back to a corresponding _FURPS_ and _Milestone_.
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user