Industry news that I think may interest some Wikimedians, particularly
students and developers of small projects where privacy of code is a
concern, but keep in mind that GitHub is now owned by Microsoft:
https://blog.github.com/2019-01-07-new-year-new-github/
Pine
(
https://meta.wikimedia.org/wiki/User:Pine )