Repository status

Recent master commits

The listings below show commits to master branches since branch-day. Styling indicates commits that have been picked (merged) already and commits that mention the words "merge" or "release". Selecting items to pick updates the to-do summary—this page does not make any repo alterations itself. Local storage is used to cache updates from GitHub.
Select a manager or repo above.

To do summary

Commands to update (and create, if necessary) release branches are shown below, based on commits selected above. The commands assume a checkout of the appropriate repo with a pushable "origin" remote.