couchdb-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Paul Davis <paul.joseph.da...@gmail.com>
Subject Closing old PRs
Date Tue, 24 Mar 2015 00:12:53 GMT
Hi all,

I've been going through trying to review open PRs today (long overdue, I
know) and I've noticed that there seem to be a lot of "open" PRs that have
actually been merged. Did we ever find a way to be able to close PRs
wihtout having to add a commit with the "Fixes #whatever" magic?

Paul

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message