diff options
| author | Eric Eastwood <erice@element.io> | 2021-07-22 05:58:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-22 12:58:24 +0200 |
| commit | d518b05a8667943bd0aa9ab1edc91eec0a8283fe (patch) | |
| tree | 288f16d93e64d0d2ec3041b99861603af9a51ad0 /CONTRIBUTING.md | |
| parent | Cancel redundant GHA workflows (#10451) (diff) | |
| download | synapse-d518b05a8667943bd0aa9ab1edc91eec0a8283fe.tar.xz | |
Move dev/ docs to development/ (#10453)
Diffstat (limited to '')
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index a4e6688042..80ef6aa235 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -392,7 +392,7 @@ By now, you know the drill! # Notes for maintainers on merging PRs etc There are some notes for those with commit access to the project on how we -manage git [here](docs/dev/git.md). +manage git [here](docs/development/git.md). # Conclusion |