From 2334d6f1077f2ecc746295a4fbc52e422ef293e6 Mon Sep 17 00:00:00 2001 From: Adam Bergmark Date: Tue, 16 Aug 2016 13:01:17 +0200 Subject: [PATCH] CURATORS: Check packdeps before merging pull requests --- CURATORS.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/CURATORS.md b/CURATORS.md index 6925e3e9..d2fad636 100644 --- a/CURATORS.md +++ b/CURATORS.md @@ -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