Tag: tools

All the articles with the tag "tools".

• Advanced GitHub Techniques

  Published:Dec 16, 2024 (19 min read)

  A somewhat comprehensive guide to neat features and tricks on GitHub that you might not know about.

• Unnecessary CI/CD for university students

  Published:Jul 28, 2024 (19 min read)

  Classes tend to have submission formats that are followed throughout the whole semester. We can automate that for (minimal) profit.