Google has stopped pushing Git tags for some Android source code