So I knew what change to submit, and DC’s codification counsel was able to merge it with the click of a button. That’s not how lawmaking works, and GitHub’s pull-request feature isn’t ...

There is a “new pull request” button at the top right of this page. If the repo runs automatic checks (typically via GitHub Actions) on pull requests, these are usually shown as comments to ...

The updates “contextualize a lot more of that who is a GitHub user and what are they doing,” Berman said. Further, it’s also possible now for people to review incoming pull requests.