Tools
Advanced GitHub Techniques
·17 mins
Infrastructure
Tools
A somewhat comprehensive guide to neat features and tricks on GitHub that you might not know about.
Unnecessary CI/CD for university students
·18 mins
Infrastructure
Tools
Classes tend to have submission formats that are followed throughout the whole semester. We can automate that for (minimal) profit.