4 Commits (leftjoin_push)

Author	SHA1	Message	Date
Jelte Fennema	9311978487	Add README for CI scripts ... We keep accumulating more and more scripts to flag issues in CI. This is good, but we are currently missing consistent documentation for them. This commit moves all these scripts to the `ci` directory and adds some documentation for all of them in the README. It also makes sure that the last line of output of a failed script points to this documentation.	2020-07-03 10:22:48 +02:00
Jelte Fennema	a3513c8902	Ignore symlinks and directories editorconfig CI script	2020-03-19 11:53:05 +01:00
Jelte Fennema	b7841267dc	vendor github.com/intel/safestringlib	2020-02-25 15:39:27 +01:00
Philip Dubé	c563e0825c	Strip trailing whitespace and add final newline (#3186) ... This brings files in line with our editorconfig file	2019-11-21 14:25:37 +01:00