GitHub

187 readers
1 users here now

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

founded 1 year ago
MODERATORS
26
-8
submitted 7 months ago by pylapp to c/github
27
-11
submitted 7 months ago* (last edited 7 months ago) by pylapp to c/github
28
29
 
 

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.

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

31
32
33
12
Praise my GitHub profile (praise-me.fly.dev)
submitted 9 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

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