[core]
	repositoryformatversion = 0
	filemode = true
	bare = false
	logallrefupdates = true
	worktree = ../../../../../../../crt/aws-crt-cpp/crt/s2n
[remote "origin"]
	url = https://github.com/awslabs/s2n.git
	fetch = +refs/heads/*:refs/remotes/origin/*
[branch "main"]
	remote = origin
	merge = refs/heads/main
[submodule "tests/cbmc/aws-verification-model-for-libcrypto"]
	active = true
	url = https://github.com/awslabs/aws-verification-model-for-libcrypto.git
[submodule "cbmc-templates"]
	active = true
	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs
[submodule "tests/litani"]
	active = true
	url = https://github.com/awslabs/aws-build-accumulator
