Otherwise, our PRs could be tagged as latest before they are merged and that doesn't make sense.
Relates to waiverdb#156.
Oops. Yes. :+1:
+1
Pull-Request has been merged by ralph
Otherwise, our PRs could be tagged as latest before they are merged and that
doesn't make sense.