5 ms·
Yeah looking at the PRs they're improperly marked as closed instead of merged because the contributors seems to merge manually.
by sdfhbdf 6y ago
Yeah looking at the PRs they're improperly marked as closed instead of merged because the contributors seems to merge manually.