Blog: #github

14 Sep 2024:

Cogged GitHub profile  also: #cog #me

13 Mar 2023:

Watchgha  also: #my-code

19 Sep 2022:

Making a coverage badge  also: #continuous-integration #coverage #how-to

13 Mar 2022:

Dinghy digests  also: #my-code

7 Nov 2021:

Computing a GitHub Action matrix with cog  also: #cog #continuous-integration #how-to

17 Dec 2019:

Fancy console output in GitHub comments  also: #hacks #shells

7 Oct 2019:

Sponsor me on GitHub?  also: #open-source

24 Jun 2018:

Coverage.py is on GitHub  also: #coverage

31 Jul 2014:

Fetching GitHub pull requests  also: #git

3 May 2014:

GitHub monoculture  also: #git #online