Commit Graph

5 Commits (dfad1da296b2bb7ddebcc39fad1503d19644ff56)

Author SHA1 Message Date
Ben Kochie 84342fb184
Refactor makefile script
5 years ago
Julien Pivotto b3cf6ef332
synchronize makefile.common for community (#7108)
5 years ago
Simon Pasquier 7efb8e9480
scripts/sync_makefiles.sh: redirect git-push to /dev/null (#5478)
6 years ago
Simon Pasquier 0607462008
scripts/sync_makefiles.sh: mask token in logs (#5465)
6 years ago
Paweł Krupa 4d7417f5d4 *: add CI job to synchronize Makefile.common across all repos (#5444)
6 years ago