Just a quick note that I've decided to shut down files.gitminutes.com, where the MP3 files of the podcast are hosted.
The audio files will still be publicly available from this Google Drive folder.
Since the podcast RSS feed still links to files.gitminutes.com on a per episode basis, the feed is now broken for podcast subscribers.
I apologize for those inconvenienced, and hope they will still be able to access the episodes in the folder above, or by listening on YouTube or on YouTube Music.
Thanks for listening,
-Thomas