GitHub

116 readers
1 users here now

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

founded 11 months ago
MODERATORS
1
2
3
 
 

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

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

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.

14
21
submitted 3 months ago* (last edited 3 months 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):

15
16
17
12
Praise my GitHub profile (praise-me.fly.dev)
submitted 4 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

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