GitHub

103 readers
6 users here now

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

founded 9 months ago
MODERATORS
1
 
 

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

2
3
4
5
6
-9
submitted 3 weeks ago by pylapp to c/github
7
8
-8
submitted 3 weeks ago by pylapp to c/github
9
-11
submitted 3 weeks ago* (last edited 3 weeks ago) by pylapp to c/github
10
11
 
 

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.

12
21
submitted 1 month ago* (last edited 1 month ago) by [email protected] to c/github
 
 

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):

13
14
15
12
Praise my GitHub profile (praise-me.fly.dev)
submitted 2 months ago by mac to c/github
 
 

cross-posted from: https://programming.dev/post/17754201

There was a roast my github profile site going around recently so as a counter to that someone made a praise my github profile. Enter your profile and get an AI complimenting you

16
17
18
19
20
21
22
23
24
25
view more: next ›