Another quick video about GitHub with patches:
https://spacepub.space/videos/watch/9cad106a-1a43-4a38-a18a-dfcece394051
@sir You can do `git fetch <remote> pull/<PR-number>/head`
...but for single commits I often use patches anyway ;)
Librem Social is an opt-in public network. Messages are shared under Creative Commons BY-SA 4.0 license terms. Policy. Stay safe. Please abide by our code of conduct. (Source code)
