Select Git revision
addDiffCR
addRevisions
clause0
conflicts
detailsConflicts
devel
gridtables
master
miguel
newCoversheet
publication
splitting
testTables
toMkdocs
upgradeIndex
using_pages
workitems