docs: update .all-contributorsrc [skip ci]

This commit is contained in:
allcontributors[bot] 2023-06-12 09:50:03 +00:00 committed by GitHub
parent 3cced07c13
commit e0ea03dc56
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2136,6 +2136,15 @@
"contributions": [
"content"
]
},
{
"login": "proofconstruction",
"name": "proofconstruction",
"avatar_url": "https://avatars.githubusercontent.com/u/74747193?v=4",
"profile": "https://github.com/proofconstruction",
"contributions": [
"infra"
]
}
],
"contributorsPerLine": 8,
@ -2144,5 +2153,6 @@
"repoType": "github",
"repoHost": "https://github.com",
"skipCi": true,
"commitConvention": "angular"
"commitConvention": "angular",
"commitType": "docs"
}