docs: fix broken links

This commit is contained in:
Valentin Gagarin 2025-02-10 15:05:21 +01:00
parent bac184c53d
commit 84871c6ef9

View file

@ -23,10 +23,10 @@ Adding a contributor consists of three steps:
1. The contributor in question adds a file with their key to the 1. The contributor in question adds a file with their key to the
`./contributors` directory, and opens a pull request with it. `./contributors` directory, and opens a pull request with it.
2. An already-existing contributor rekeys the secrets, taking that new key into 2. An already-existing contributor uses their keys to [re-key the secrets](../secrets#adding-a-contributor), taking that new key into
account. See [../secrets#adding-a-contributor]. account.
3. An already-existing contributor redeploys the infrastructure to take into 3. An already-existing contributor redeploys the [infrastructure](../infra) to take into
account the new access. See [../infra]. account the new access.
4. The pull request is accepted and merged. 4. The pull request is accepted and merged.