5 Commits

Author	SHA1	Message	Date
Artem Goncharov	5531b12800	do not create PR when no changes required	2022-11-23 13:49:51 +01:00
Artem Goncharov	1219bfdc99	few fixes	2022-09-21 13:10:30 +02:00
gtema	d83fb45ecc	Update 'tools/sync_doc_repo.py'	2022-09-21 06:50:01 +00:00
Artem Goncharov	a092056387	add new tools	2022-09-01 09:04:48 +02:00
Artem Goncharov	94f4df5276	add script for syncing docs	2022-08-25 09:09:46 +02:00