GitHub

204 readers
1 users here now

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

founded 1 year ago
MODERATORS
26
27
28
29
1
submitted 8 months ago* (last edited 8 months ago) by [email protected] to c/[email protected]
30
31
 
 

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.

32
1
submitted 9 months ago* (last edited 9 months ago) by [email protected] to c/[email protected]
 
 

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

33
34
35
 
 

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

36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
view more: ‹ prev next ›