Skip to content
martin-henz edited this page Mar 1, 2020 · 32 revisions

Documentation:

Policy on Issues and PRs

Open Issues and PRs should be actionable within days or at most weeks. 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.