diff options
| author | Iwan Aucamp <aucampia@gmail.com> | 2022-09-04 22:00:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-04 22:00:41 +0200 |
| commit | be13b3af51b69c6eaf6c88d6811b0573af8edffb (patch) | |
| tree | 16211fb63a88d05dfc4bc222787db17af4f5559d /devtools/diffrtpy.py | |
| parent | 6d215160fcd2d4eed20da72d2de20fc362e7314a (diff) | |
| download | rdflib-be13b3af51b69c6eaf6c88d6811b0573af8edffb.tar.gz | |
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.
Diffstat (limited to 'devtools/diffrtpy.py')
| -rwxr-xr-x | devtools/diffrtpy.py | 2 |
1 files changed, 1 insertions, 1 deletions
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. """ |