5 commits

Author	SHA1	Message	Date
Mikhail Goncharov	056e5cdbaa	update docs ... - move "user_doc" to "README" as it's publicly facing page visible when one opens repo - move developer docs to "development" - update docs to reflect current buildkite setup (not completely) - grammar	2020-08-27 15:30:03 +02:00
Mircea Trofin	c7047d46ed	blacklist -> ignorelist	2020-06-22 08:49:19 -07:00
Mikhail Goncharov	6394a86514	fix doc links	2020-01-23 14:17:33 +01:00
Mikhail Goncharov	c28326f797	fix doc links	2020-01-23 14:16:42 +01:00
Mikhail Goncharov	a3f6610df2	Update bot report ... - add links to join beta and report issue - add link "not useful" to clang-tidy warning - clang-tidy comment in report now tells how many inline comments were added	2020-01-23 13:35:40 +01:00