aboutsummaryrefslogtreecommitdiff
path: root/doc/developer-notes.md
diff options
context:
space:
mode:
authorHennadii Stepanov <32963518+hebasto@users.noreply.github.com>2020-12-17 10:54:37 +0200
committerHennadii Stepanov <32963518+hebasto@users.noreply.github.com>2020-12-18 01:15:53 +0200
commit95487b055328b590ba83f258de9637ab0f9a2f17 (patch)
treef8ff8e97cef3f8eb5ec242728bf6b6b2d97d1615 /doc/developer-notes.md
parent09d105ef0f8b4b06bf248721a1209c9e16e9db75 (diff)
downloadbitcoin-95487b055328b590ba83f258de9637ab0f9a2f17.tar.xz
doc: Drop mentions of Travis CI as it is no longer used
Diffstat (limited to 'doc/developer-notes.md')
-rw-r--r--doc/developer-notes.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/developer-notes.md b/doc/developer-notes.md
index 9cb416bb30..1f29bfffc4 100644
--- a/doc/developer-notes.md
+++ b/doc/developer-notes.md
@@ -543,7 +543,7 @@ General Bitcoin Core
- *Rationale*: RPC allows for better automatic testing. The test suite for
the GUI is very limited.
-- Make sure pull requests pass Travis CI before merging.
+- Make sure pull requests pass CI before merging.
- *Rationale*: Makes sure that they pass thorough testing, and that the tester will keep passing
on the master branch. Otherwise, all new pull requests will start failing the tests, resulting in
@@ -1036,7 +1036,7 @@ Scripted diffs
--------------
For reformatting and refactoring commits where the changes can be easily automated using a bash script, we use
-scripted-diff commits. The bash script is included in the commit message and our Travis CI job checks that
+scripted-diff commits. The bash script is included in the commit message and our CI job checks that
the result of the script is identical to the commit. This aids reviewers since they can verify that the script
does exactly what it is supposed to do. It is also helpful for rebasing (since the same script can just be re-run
on the new master commit).