reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <mar...@weimo.de>
Subject Closing stale pull requests
Date Wed, 25 Apr 2018 20:30:08 GMT
Hi,

I just pushed commit `aa30e7fec2f4d771dc48bd87048333fa2f4b0b16`, which
adds a new file `dev/ClosedPullRequests.md`. In that, I have noted the
(presumably) stale pull requests the same commit closes. I think this
could be a nice way of dealing with those. WDYT?

Thanks,

Markus

Mime
View raw message