Skip to content
This repository has been archived by the owner on Feb 19, 2019. It is now read-only.

Links to unmerged PR's of interest

vishwasbabu edited this page Dec 4, 2014 · 12 revisions

Having a large number of open pull requests that cannot be merged in the immediate future makes it harder for maintainers to focus on issues of immediate significance. In an effort to streamline this workflow, many pull requests which of long term significance are also closed off on a regular basis, such PR's that need to be revisited in a later point in time are listed here.