From b07ee98b27e58992fdc10fec0ec67e68ae1d272d Mon Sep 17 00:00:00 2001 From: Mariusz Felisiak Date: Sat, 19 Mar 2022 15:41:48 +0100 Subject: [PATCH] Renamed Jenkins wiki page to CI. Jenkins is no longer the only CI tool. --- docs/internals/contributing/committing-code.txt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/internals/contributing/committing-code.txt b/docs/internals/contributing/committing-code.txt index 7312230884..35a3ad13ce 100644 --- a/docs/internals/contributing/committing-code.txt +++ b/docs/internals/contributing/committing-code.txt @@ -20,11 +20,11 @@ best pull requests possible. In practice however, committers - who will likely be more familiar with the commit guidelines - may decide to bring a commit up to standard themselves. -You may want to have Jenkins test the pull request with one of the pull request -builders that doesn't run automatically, such as Oracle or Selenium. See the -`Jenkins wiki page`_ for instructions. +You may want to have Jenkins or GitHub actions test the pull request with one +of the pull request builders that doesn't run automatically, such as Oracle or +Selenium. See the `CI wiki page`_ for instructions. -.. _Jenkins wiki page: https://code.djangoproject.com/wiki/Jenkins +.. _CI wiki page: https://code.djangoproject.com/wiki/CI If you find yourself checking out pull requests locally more often, this git alias will be helpful::