citus

Author	SHA1	Message	Date
Jelte Fennema	bd6268fea3	Add some comments	2020-07-09 16:49:56 +02:00
Jelte Fennema	df395cdbd0	Change anchor tag to what github generates	2020-07-09 16:11:27 +02:00
Jelte Fennema	cc5f874c9d	Add some necessary citus enterprise support to CI helpers	2020-07-09 16:04:49 +02:00
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