From be13b3af51b69c6eaf6c88d6811b0573af8edffb Mon Sep 17 00:00:00 2001 From: Iwan Aucamp Date: Sun, 4 Sep 2022 22:00:41 +0200 Subject: chore: rename default branch to `main` (#2101) We are still using a somewhat outmoded name for our default branch, this PR captures the decision to change it as a decision record and prepares the rest of the repo for this change. Once merged, the main branch of RDFLib will be renamed using the procedure documented [here](https://github.com/github/renaming). Other changes: - Add area for decision records (this may be merged in another PR before this one). - Remove duplicated sections from `docs/upgrade4to5.rst` as they cause problems when using `sphinx.ext.autosectionlabel` and serve no purpose. --- devtools/diffrtpy.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'devtools/diffrtpy.py') diff --git a/devtools/diffrtpy.py b/devtools/diffrtpy.py index d8873aa5..6da8bc37 100755 --- a/devtools/diffrtpy.py +++ b/devtools/diffrtpy.py @@ -12,7 +12,7 @@ To use this script .. code-block:: bash task run -- python -m pip install --upgrade strip-hints black python-minifier - PYLOGGING_LEVEL=INFO task run -- git difftool -y -x $(readlink -f devtools/diffrtpy.py) upstream/master | tee /var/tmp/compact.diff + PYLOGGING_LEVEL=INFO task run -- git difftool -y -x $(readlink -f devtools/diffrtpy.py) upstream/main | tee /var/tmp/compact.diff Then attach ``/var/tmp/compact.diff`` to the PR. """ -- cgit v1.2.1