Commit Graph

34 Commits (0cadb123bad37a2c224834a3d98bed474c661c21)

Author SHA1 Message Date
fanquake 3d50fe2c1f
scripts: move update-translations.py to maintainer-tools repo
5 years ago
fanquake 6c27fa0f09
scripts: remove github-merge.py
5 years ago
Ben Woosley b748bf6f50
Fix spelling errors identified by codespell 1.15.0
5 years ago
MarcoFalke b83c6f7940
Merge #15444: [docs] Additional productivity tips
6 years ago
MarcoFalke fab5a1e0f4
build: Require python 3.5
6 years ago
Sjors Provoost 3a21905a4e
[doc] devtools: mention clang-format dependency
6 years ago
Wladimir J. van der Laan f1bd219a5b contrib: Allow use of github API authentication in github-merge
6 years ago
fanquake 93843f6891
doc: remove leftover check-doc documentation
7 years ago
Wladimir J. van der Laan 2ac6315f44
Merge #13281: test: Move linters to test/lint, add readme
7 years ago
MarcoFalke fa3c910bfe
test: Move linters to test/lint, add readme
7 years ago
Pieter Wuille a7b295e91e Add circular dependencies script
7 years ago
MarcoFalke fa385c3a8b
[doc] devtools: Setup ots git integration
7 years ago
Wladimir J. van der Laan 526e28220a contrib: Add support for out-of-tree builds in gen-manpages.sh
7 years ago
Koki Takahashi 36164faa33 Fix typo and spelling inconsistency in CONTRIBUTING.md
8 years ago
MarcoFalke fa5137c11d [doc] Remove unused clang format dev script
8 years ago
Wladimir J. van der Laan bae81b83d6
Merge #8674: tools for analyzing, updating and adding copyright headers in source files
8 years ago
isle2983 159597a2b8 [devtools] script support for managing source file copyright headers
8 years ago
nomnombtc 6edf2fdb85 add gen-manpages.sh description to README.md
8 years ago
MarcoFalke fa3d974009 [doc] Update git-subtree-check.sh README
8 years ago
MarcoFalke faf3d11ad7 [doc] Update bitcoin-core GitHub links
9 years ago
Wladimir J. van der Laan da6d18b6c7 devtools: replace github-merge with python version
9 years ago
Wladimir J. van der Laan 668906fcf2
Merge pull request #7280
9 years ago
MarcoFalke fa074a6fd0 [contrib] Prepare clang-format-diff for usage
9 years ago
MarcoFalke fada0c90b6 [travis] Fail when documentation is outdated
9 years ago
MarcoFalke fa6ad855e9 [devtools] Rewrite fix-copyright-headers.py
9 years ago
MarcoFalke fad246037f Update contrib/devtools/README.md
9 years ago
MarcoFalke 0af8fe45ae devtools: Update README.md
9 years ago
MarcoFalke 8c15f33d15 [trivial] Update contrib/devtools/README.md
9 years ago
Pieter Wuille 5ff94c630e Add git-subtree-check.sh script
10 years ago
sandakersmann f914f1a746
Added "Core" to copyright headers
10 years ago
Wladimir J. van der Laan 9dd5d79244 devtools: add a script to fetch and postprocess translations
11 years ago
Wladimir J. van der Laan 74fc254c2b devtools: add script to check symbols from Linux gitian executables
11 years ago
gubatron 57702541a2 Copyright header updates s/2013/2014 on files whose last git commit was done in 2014.
11 years ago
Wladimir J. van der Laan e5adec35c6 contrib: add sipa's github-merge script
11 years ago