There are 1 repository under bors topic.
Fast and flexible GitHub action to cherry-pick merged pull requests to selected branches
Fetching metrics from the bors bot for prometheus
A tiny Python-script for extracting all stocks (and related tickets) from a pdf file from Oslo Børs stock list and converting the data to a tinyDB.