JAremko 88cfc4bc67 [ci] fix ws in patches and use git apply		2021-07-05 15:47:43 -07:00
..
make_patch	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
maybe_pr	[ci] fix ws in patches and use git apply	2021-07-05 15:47:43 -07:00
sdnize	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
update_docs	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
validate	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00