sha1_name: implement finding @{push}