include github contributors badge in docs site #10337
+11
−7
Merged
This job succeeded
Loading