sha1_name: implement @{push} shorthand