Is it a good idea to request that people update dev@ when a PR is merged in? I have to check them each time otherwise.
On 21 February 2013 10:40, JakubOboza <[email protected]> wrote: > GitHub user JakubOboza opened a pull request: > > https://github.com/apache/couchdb/pull/42 > > Update DEVELOPERS > > Added --prefix configure option information. > > You can merge this pull request into a Git repository by running: > > $ git pull https://github.com/JakubOboza/couchdb patch-1 > > Alternatively you can review and apply these changes as the patch at: > > https://github.com/apache/couchdb/pull/42.patch > > ---- > commit bad6eed4b1797663277200a88c547b9b90a37486 > Author: Jakub <[email protected]> > Date: 2013-02-21T10:40:49Z > > Update DEVELOPERS > > Added --prefix configure option information. > > ---- > > -- NS
