Closed gabefair closed 7 years ago
Yea the commits are merged. We do not use Github's pull request but our own Gerrit, however submitting through GitHub is easier. Therefore we make a compromise by allowing pull requests, but we will merge the commits though Gerrit.
There are currently 33 pull requests that are pending review.