Google has stopped pushing Git tags for some Android source code
Summary
GrapheneOS reports that Google has stopped pushing Git tags for some Android source code, indicating a change in Android's source versioning workflow. The post suggests potential impacts on reproducibility and build pipelines that rely on tags, though it does not provide detailed accompanying information.