From 3e94be7f0c9dbe0456ac34d95f8fc57d3e0a04fc Mon Sep 17 00:00:00 2001 From: Starfire13 <72491792+Starfire13@users.noreply.github.com> Date: Sun, 16 Apr 2023 01:37:02 +1000 Subject: [PATCH] Updated Developer's Guide (markdown) --- Developer's-Guide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Developer's-Guide.md b/Developer's-Guide.md index d3d3427..2753cda 100644 --- a/Developer's-Guide.md +++ b/Developer's-Guide.md @@ -122,7 +122,7 @@ The type checker is **not** run as part of pre-commit, since that makes it harde ## Pull requests -Please make a new branch from either develop or master, and make your pull requests to khopa/develop. +Please make a new branch from either develop or master, and make your pull requests to dcs-liberation/develop. We can only merge/revert whole PRs, which means you should try and keep the size of each individual PR as small as possible. Ideally, one PR for one feature/bugfix/change. Also, review latency doesn't scale linearly with review time, and review time doesn't scale linearly with PR complexity. **Smaller PRs will likely get reviewed sooner and faster.** In addition, it's not possible for the testers to isolate bugs on a sub-build level.