Useful and interesting short post on different types of UUID https://ntietz.com/blog/til-uses-for-the-different-uuid-versions/ by https://tietz.social/@nicole
Anna Shipman
@annashipman
- 18 Followers
- 5 Following
- 4 Posts
CTO at Kooth https://www.koothplc.com/ Digital mental health for young people. Software developer. Views mine. I like Vagrant, Devops, Vim and good commit messages; pool and cryptic crosswords.
I really enjoyed this opinionated pieces about SaaS https://thebaffler.com/latest/spreadsheet-assassins-king
This is interesting, https://daniel.haxx.se/blog/2024/06/11/why-curl-closes-prs-on-github/ "We do not let GitHub dictate how we do git."
Why curl closes PRs on GitHub
Screenshot from a recent pull request merged in the curl project on GitHub Contributors to the curl project on GitHub tend to notice the above sequence quite quickly: pull requests submitted do not generally appear as "merged" with its accompanying purple blob, instead they are said to be "closed". This has been happening since 2015 … Continue reading Why curl closes PRs on GitHub →