GitHub

257 readers
1 users here now

A community for discussion and posts relating to github https://github.com/

founded 2 years ago
MODERATORS
76
77
6
submitted 8 months ago* (last edited 8 months ago) by neme@lemm.ee to c/github@programming.dev
78
79
80
81
82
 
 

Just implemented in a tool box a Python script which can request GitHub API to get figures and details from an organisation and compute results.

The logs can then be used for example to make KPI and ranking.

See for example: https://github.com/Orange-OpenSource/floss-toolbox/discussions/187

83
84
85
86
87
7
submitted 11 months ago* (last edited 11 months ago) by neme@lemm.ee to c/github@programming.dev
88
89
90
 
 

I remember there being an option to filter starred repositories by language, now I can't find it anymore. The button is just gone. Some older GitHub documentation still shows the option: https://docs.github.com/en/get-started/exploring-projects-on-github/saving-repositories-with-stars#organizing-starred-repositories-with-lists

91
92
93
94
95
96
97
98
99
100
 
 

I thought you guys might enjoy it: I have a website that I push to frequently on GitHub, and some GitHub actions that update it periodically by pulling code and generating docs from it. I needed to connect to my vps often and update the website which was cumbersome.

Well a solution is to use webhooks on push events and have a server listening to those events to then update said websites for me.

view more: ‹ prev next ›