151
152
153
154
 
 

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

155
156
157
158
159
160
161
162
 
 

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

163
164
165
166
167
168
169
170
submitted 2 years ago* (last edited 2 years ago) by [M] to c/github@programming.dev
171
172
 
 

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.

173
submitted 2 years ago* (last edited 2 years ago) by to c/github@programming.dev
 
 

You can sort GitHub issues by most "upvoted" using this syntax:

is:issue is:open sort:reactions-+1-desc 

Thanks to gromenauer for making me aware of it in this GitHub comment.

Full documentation for sorting GitHub issues and pull requests can be found here.

EDIT (2024-08-27T05:20Z): There are also UI options that enable sorting by most "upvoted":

  • On desktop (through a web browser):

  • On mobile (through the app):

174
175
view more: ‹ prev next ›