CURATORS: Check packdeps before merging pull requests

This commit is contained in:
Adam Bergmark 2016-08-16 13:01:17 +02:00
parent 2086eb0f14
commit 2334d6f107

View File

@ -21,9 +21,10 @@ process works:
## Pull requests
The typical story on pull requests is: if Travis accepts it, and the author
only added packages under his/her own name, merge it. If the build later fails
(see below), then block the package until it's fixed.
The typical story on pull requests is: If Travis accepts it, packdeps
says the package is up to date, and the author only added packages
under his/her own name, merge it. If the build later fails (see
below), then block the package until it's fixed.
## Fixing bounds issues