Comment on Github is having some issues
Why not just wait to merge it Monday?
'cause stupid corporate policy and metrics mean an unreviewed PR is bad for me, and an unmerged PR is bad for the submitter.
You’d think declined PRs would be more of a metric to deter bad PRs from happening?
This would be a logical step and we don’t do that here. Please stop being logical.
evatronic@lemm.ee 10 months ago
'cause stupid corporate policy and metrics mean an unreviewed PR is bad for me, and an unmerged PR is bad for the submitter.
bamboo@lemmy.blahaj.zone 10 months ago
You’d think declined PRs would be more of a metric to deter bad PRs from happening?
Appoxo@lemmy.dbzer0.com 10 months ago
This would be a logical step and we don’t do that here.
Please stop being logical.