# SHA of the HEAD commit on the repository.
	var head_commit: Commit is writable