summaryrefslogtreecommitdiff
AgeCommit message (Expand)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
2017-12-05Do not lint wsgi.py; this because its 'application' globalMarcello Stanisci
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
2017-11-27fix git_step() invocationMarcello Stanisci
2017-11-27add any components carrying documentation under the "doc scheduler"Marcello Stanisci