summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2017-12-12fwd for protonChristian Grothoff
2017-12-12using right api to dispatch doc buildsMarcello Stanisci
2017-12-11pull code before trying to lint it!Marcello Stanisci
2017-12-11remove unnecessary link to docsMarcello Stanisci
2017-12-11fetch reserve _public_ keyMarcello Stanisci
2017-12-11copypaste leftoverMarcello Stanisci
2017-12-11copypaste leftoverMarcello Stanisci
2017-12-11survey goes on 'demo'Marcello Stanisci
2017-12-10also rebuild on landing.git pushFlorian Dold
2017-12-08switcher build should fail if one step failsFlorian Dold
2017-12-08escaping double quotes for inline json in bash scriptMarcello Stanisci
2017-12-08tip reserve key pathMarcello Stanisci
2017-12-08exporting PYTHONPATHMarcello Stanisci
2017-12-07names of changed files are fetched from _dict_Marcello Stanisci
2017-12-07TypeError related to list of changed filesMarcello Stanisci
2017-12-07importing 're'Marcello Stanisci
2017-12-07untested changes to deployment in the wake of #5188 -- please checkChristian Grothoff
2017-12-06mypy wants python versionMarcello Stanisci
2017-12-06right option to NOT type-check improted modulesMarcello Stanisci
2017-12-06section headerMarcello Stanisci
2017-12-06mypy config fileMarcello Stanisci
2017-12-05excluding resource-hungry builders (due to resource limitationMarcello Stanisci
of current machine)
2017-12-05Do not lint wsgi.py; this because its 'application' globalMarcello Stanisci
variable does not comply with PEP standards. In fact, it should be upper case in order to make them happy (but this would make 'uwsgi' unhappy).
2017-12-01typoMarcello Stanisci
2017-11-30add survey url env variableFlorian Dold
2017-11-30import right periodic schedulerMarcello Stanisci
2017-11-30syntax fixMarcello Stanisci
2017-11-30syntax fixMarcello Stanisci
2017-11-30tip reserve topped by BBMarcello Stanisci
2017-11-30run switcher builder also when one of the fontends changesFlorian Dold
2017-11-30adjust bashy double quotesMarcello Stanisci
2017-11-30adjusting paramsMarcello Stanisci
2017-11-30typoMarcello Stanisci
2017-11-30merging reserve topping in one scriptMarcello Stanisci
2017-11-30also stop on sanity check failuresFlorian Dold
2017-11-30renameMarcello Stanisci
2017-11-30make "update topper" a legal taler-deployment-* commandMarcello Stanisci
2017-11-30add tip reserve enablerMarcello Stanisci
2017-11-30reserve updater, not called yetMarcello Stanisci
2017-11-30parentheses fixMarcello Stanisci
2017-11-30do not switch color if failures occured during the buildMarcello Stanisci
2017-11-28provide default for doc's force-buildsMarcello Stanisci
2017-11-28trying to force Interpolate at parsing timeMarcello Stanisci
2017-11-28typoMarcello Stanisci
2017-11-28doc builder calls doc updater via a project-based switchMarcello Stanisci
2017-11-28stage and www built by one updaterMarcello Stanisci
2017-11-28individual updaters scripts for docsMarcello Stanisci
2017-11-28Reverting pulling deployment code beforehand. It's notMarcello Stanisci
possible to make $HOME the cwd without creating a new worker.
2017-11-27fix git_step() invocationMarcello Stanisci
2017-11-27add any components carrying documentation under the "doc scheduler"Marcello Stanisci