{"shas":[["1783b6192d95ef527637afa2bb0580df7ea59256","fdb87dfd199045af7165780b11640b83768a0d57@cds.caltech.edu","better convention","Andrea Censi"]],"repo":"AndreaCensi/procgraph","actor":"AndreaCensi","ref":"refs/heads/master","size":1,"head":"1783b6192d95ef527637afa2bb0580df7ea59256","actor_gravatar":"503cc380969ca5cfbdee5acb44090faf","push_id":28253771}