| Wed, 06 Aug 2025 16:51:58 +0200 | Fabian Huch | tuned doc: display build manager SSH options; | file | diff | annotate |
| Wed, 09 Apr 2025 22:23:59 +0200 | wenzelm | tuned: prefer explicit Bash.exports; | file | diff | annotate |
| Thu, 27 Mar 2025 10:45:33 +0100 | Fabian Huch | start jobs even if repository is unreachable, e.g. due to high load; | file | diff | annotate |
| Sun, 02 Feb 2025 00:11:06 +0100 | Fabian Huch | clarified name; | file | diff | annotate |
| Sat, 01 Feb 2025 22:41:43 +0100 | Fabian Huch | tuned; | file | diff | annotate |
| Sat, 01 Feb 2025 22:39:44 +0100 | Fabian Huch | use ssh host for default address; | file | diff | annotate |
| Sat, 01 Feb 2025 22:30:09 +0100 | Fabian Huch | clarified option name; | file | diff | annotate |
| Sat, 01 Feb 2025 22:28:32 +0100 | Fabian Huch | clarified options: extra ssh connection to cluster of build_manager; | file | diff | annotate |
| Sat, 01 Feb 2025 22:20:42 +0100 | Fabian Huch | tuned output; | file | diff | annotate |
| Sat, 01 Feb 2025 20:46:01 +0100 | Fabian Huch | tuned: more standard; | file | diff | annotate |
| Mon, 20 Jan 2025 09:17:37 +0100 | Fabian Huch | clarified; | file | diff | annotate |
| Fri, 17 Jan 2025 13:43:16 +0100 | Fabian Huch | tuned whitespace; | file | diff | annotate |
| Tue, 27 Aug 2024 13:53:18 +0200 | Fabian Huch | stop web server on close; | file | diff | annotate |
| Tue, 27 Aug 2024 13:44:23 +0200 | Fabian Huch | better results for terminated jobs; | file | diff | annotate |
| Tue, 27 Aug 2024 13:12:10 +0200 | Fabian Huch | more robust: clean up unfinished jobs on init, e.g. if build_manager process was forcefully terminated; | file | diff | annotate |