| 2013-07-22 | Merge branch 'jc/simple-add-must-be-a-no-op' | tree | diff | |
| 2013-07-22 | Sync with maint | tree | diff | |
| 2013-07-19 | Sync with maint | tree | diff | |
| 2013-07-18 | Merge branch 'jc/revert-clone-doc-update-for-push-from... | tree | diff | |
| 2013-07-18 | Merge branch 'rs/mailmap-himself' | tree | diff | |
| 2013-07-18 | Merge branch 'sb/mailmap-updates' | tree | diff | |
| 2013-07-18 | Merge branch 'jk/in-pack-size-measurement' | tree | diff | |
| 2013-07-18 | Merge branch 'bp/mediawiki-preview' | tree | diff | |
| 2013-07-08 | git-remote-mediawiki: add a git bin-wrapper for develop... | tree | diff | |