Select Git revision
This information is important so people know what version the documentation they are looking at was built from.
This information is important so people know what version the documentation they are looking at was built from.