Git Rev News: Edition 100 (June 30th, 2023) Welcome to the 100th edition of Git Rev News, a digest of all things Git. For our goals, the archives, the way we work, and how to contribute or to subscribe, see the Git Rev News page on git.github.io. This edition covers what happened during the months of May 2023 and June 2023. Some statistics about the ongoing first Git Rev News Readers Survey The Git Rev News Reader Survey was announced in the previous edition with the goal to gather responses ...