Closed jodh-intel closed 4 years ago
A PR now needs two labels to be applied before it can be merged. One label must be a backport label from the list below and the other a forward port label:
needs-backport
no-backport-needed
needs-forward-port
no-forward-port-needed
This is to make the maintainer think carefully before merging a PR and hopefully maximise efficient porting.
Related: https://github.com/kata-containers/kata-containers/issues/634
A PR now needs two labels to be applied before it can be merged. One label must be a backport label from the list below and the other a forward port label:
needs-backport
,no-backport-needed
.needs-forward-port
,no-forward-port-needed
.This is to make the maintainer think carefully before merging a PR and hopefully maximise efficient porting.
Related: https://github.com/kata-containers/kata-containers/issues/634