Skip to content

Home

Jump to bottom
martin-henz edited this page Jul 15, 2019 · 2 revisions

Policy on Issues and PRs

Open Issues and PRs should be actionable. When we decide to postpone an Issue or PR, it can be closed, but should remain marked with the label _postponed. After a major milestone (a semester) we will re-visit postponed Issues and PRs and re-open them.

Clone this wiki locally