GitHub DeleteEvent at 2014-09-09 21:23:39
Repository: equivalence
Actor: jfinkels
Payload: ref: archive/techreport
ref_type: tag
pusher_type: user