My first PR to /dev/null: a small quality of life improvement. I was left searching for a profile sync option, so hopefully this is helpful.
https://github.com/dev-null-sh/dev-null.sh/pull/966
GitHubfeat: sync from GitHub on your own profile by Rolf-Smit · Pull Request #966 · dev-null-sh/dev-null.shSummary Sync from GitHub was only available under Settings > Profile, which made it hard to find (I had to search for it after editing my own from the profile page). So this PR adds a sync butto...
commit 1f14351