Topic: Tools – Page 9 | Stefan Judis Web Development

Two resources to find your next editor font
Published Nov 21 2020 in Tools
If you're looking for a new fresh editor font, find some great resources at coding-fonts.css-tricks.com and devfonts.gafi.dev.
How to run GitHub actions on particular commits
Published Nov 08 2020 in Tools
A quick configuration snippet to limit the execution of GitHub actions depending on a commit message.
To the power of Gmail filters
Published Nov 01 2020 in Productivity , Tools
A quick article on how to use Gmail for GitHub notifications.
Thoughts on the over-engineering of everyday tools and apps
Published Oct 26 2020 in Productivity , Tools
Quick thoughts on the tools and apps we use every day.
JavaScript tools that aren't built with JavaScript
Published Oct 11 2020 in JavaScript , Tools
A list for the bookmarks; JavaScript tools that are not written in JavaScript.

Topic: Tools – Page 9