git-permalink - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Files	Lines
2021-07-16	aux/ci/git-post-receive.sh: Stop silently overrinding $_	EuAndreh	1	-1/+2
2021-07-16	aux/ci/git-post-receive.sh: Emit retrigger instruction even when build fails	EuAndreh	1	-1/+1
2021-07-16	aux/ci/: Run sh files with sh instead of ./	EuAndreh	2	-3/+4
2021-07-16	aux/ci/: Move Git hook handling from ci-build.sh to git-post-receive.sh	EuAndreh	2	-3/+8
2021-07-16	aux/workflow/styles.css, aux/ci/ci-build.sh: spaces -> tabs	EuAndreh	1	-4/+4
2021-07-15	aux/lib.sh: Add mkstemp and mkdtemp, and copy uuid over	EuAndreh	3	-3/+13
2021-07-14	CHANGELOG.md: Link to the translated page, and to en/ version explicitly	EuAndreh	1	-1/+1
2021-06-26	aux/ci/report.sh: Use getopts for arguments	EuAndreh	2	-3/+25
2021-06-23	aux/: Explicitly pass "public/" as a parameter to scripts	EuAndreh	2	-6/+7
2021-06-23	git grep -l PACKAGE aux/ \| xargs sed -i 's/PACKAGE/PROJECT/g'	EuAndreh	3	-9/+9
2021-06-19	aux/ci/report.sh: Fetch only CI-related notes	EuAndreh	1	-1/+4
2021-06-14	aux/: Update	EuAndreh	2	-3/+5
2021-06-11	aux/: Update files	EuAndreh	4	-75/+80
2021-03-23	aux/ci/ci-build.sh: Run build target before tests, so we have HTML files when...	EuAndreh	1	-7/+1