The only thing that's really missing is a feature on the mobile app to delete local copies of uploaded assets ... Something like Google Photos "Free up space" feature.

It has that. Select the media you want to delete, tap & hold, then scroll to the right in the menu and select Delete from device. At least on Android this is the way.

Pablo Galindo Salgado and Łukasz Langa started a new podcast about Python internals called core.py

I've migrated some of my Open Source Projects from travis to azure pipelines lately and am quite happy with it!

It has pretty good GitHub and ecosystem (Python with pip, etc.) integration.

You should give it a try!

Oh yeah! I added a "git prune" and "git gc". That does it, right?

sounds good :)