[core]
	repositoryformatversion = 0
	filemode = true
	bare = true
[remote "origin"]
	url = https://github.com/awslabs/aws-verification-model-for-libcrypto.git
	fetch = +refs/*:refs/*