It looks like most database PRs have been merged without their corresponding Upload PRs being merged. This is probably because people simply forgot. It would therefore make sense to require merging of the Upload PR with the Database PR by having them be the same button.
Probably the best way to do this would be to have the Database and Uploads be in the same repository. There really isn't a need to have them separate.
It looks like most database PRs have been merged without their corresponding Upload PRs being merged. This is probably because people simply forgot. It would therefore make sense to require merging of the Upload PR with the Database PR by having them be the same button.
Probably the best way to do this would be to have the Database and Uploads be in the same repository. There really isn't a need to have them separate.