Avi Kivity a7099132cc scripts/pull_github_pr.sh: optionally authenticate ...

This helps overcome rate limits for unauthenticated requests,
preventing maintainers from getting much-needed rest.

Closes #13210

2023-03-19 15:16:02 +02:00

..

apply-mail.py

scripts: introduce script to apply email, working around google groups brokeness

2022-08-31 14:47:24 +03:00

build-help.sh

…

coverage.py

…

cpp-name-format.py

…

create-relocatable-package.py

create-relocatable-package.py: exclude tools/cqlsh

2023-03-16 13:37:16 +02:00

git-archive-all

…

jobs

…

merge-compdb.py

configure.py: speed up and simplify compdb generation

2022-06-15 16:40:52 +03:00

nodetool-toppartitions

…

open-coredump.sh

open-coredump.sh: handle dev versions

2023-01-12 19:28:58 +02:00

pull_github_pr.sh

scripts/pull_github_pr.sh: optionally authenticate

2023-03-19 15:16:02 +02:00

refresh-submodules.sh

scripts: Allow specifying submodule branch to refresh from

2022-03-22 15:18:25 +02:00

strip.sh

reloc: add support stripped binary installation for relocatable package

2022-10-13 15:11:32 +02:00

update-version

…