Pull requests: includeos/IncludeOS
0 Open
<
8000
a href="/includeos/IncludeOS/pulls?q=is%3Apr+is%3Aclosed" class="btn-link " data-ga-click="Pull Requests, Table state, Closed">
1,586 Closed
There aren’t any open pull requests.
You could search all of GitHub or try an advanced search.
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.