mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
4983f8bb60
Add `search_parent_directories=True` to `git.Repo()` so that `backport_pr.py` can be called anywhere within the RIOT git repo without manually passing the repo root path via `--gitdir`. Previously the tool had to be called from the RIOT base repo. |
||
---|---|---|
.. | ||
pythonlibs | ||
testbed-support | ||
tools | ||
empty.a | ||
gdbinit-docker | ||
Makefile | ||
usb_id_testing |