what are these called on github?
CodePudding user response:
Badges.
You find them on badges/shields
, sources for shields.io
You will find even more with badges/awesome-badges
.
As commented, they are not specific to GitHub, and services/gitlab/gitlab-pipeline-status.service.js
, for instance, reflects the status of a GitLab pipeline.