Dev pro tip in working well with your fellow developers: don’t close other developers’ PRs/MRs unmerged without their permission or acknowledgement.