{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"//"}]}
            // to delete old tags.
            // don't care about historic releases all that much, it's fine even
            cmd!(sh, "git push --force").run()?;