Explore >> Select a destination
|
You are here 
|
nathanrosenquist.com | ||
| | | | |
ptsochantaris.github.io
|
|
| | | | | Accelerate your GitHub workflow. Never miss a comment again. Track pull requests and issues across repositories, directly in your Notification Center or on any device. | |
| | | | |
truss.works
|
|
| | | | | A git workflow that supports feature development isolation, continuous deployment, and has minimal overhead when performing common operations like branching and merging | |
| | | | |
jinyuz.dev
|
|
| | | | | There was a pull request on GitHub and it contains a feature I wanted to test. I didn't know how to test it locally. Should I just copy the changes to my local since the changes weren't that big? But what if it was? Luckily, I found some answers by googling and decided to write it up for future reference. Git provides a command for it and here is the sample syntax | |
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
