Closed grunweg closed 1 month ago
Imho, replacing an empty table by a bold line by a bold line like "There are no PR blocked on zulip." is perfectly fine.
This could be particularly useful when adding further categories of PRs, which are ideally/usually empty (as in #4 or #11).
Imho, replacing an empty table by a bold line by a bold line like "There are no PR blocked on zulip." is perfectly fine.
This could be particularly useful when adding further categories of PRs, which are ideally/usually empty (as in #4 or #11).