JAremko 63f5bc7bb9 [ci] clean-up		2021-07-03 06:49:56 -07:00
..
org	[ci] Fix CircleCI stuff	2021-07-01 03:34:50 +03:00
update	[ci] clean-up	2021-07-03 06:49:56 -07:00
bot_init	Fix typo	2021-07-02 01:07:31 -07:00
config.yml	[ci] clean-up	2021-07-03 06:49:56 -07:00
PR_base
PR_rebased
select_pr_changed	[CI] move built-in auto update to CircleCI	2021-06-30 20:43:10 +03:00
shared	[ci] move bot init into separate file	2021-07-01 13:32:54 +03:00