GitHub PushEvent at 2014-07-15 16:35:32
Repository: eagda
Actor: asr
Payload: {"shas":[["775ec8b85890265447a4196bfeea4ef02d5f868e","856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","[ unquote ] more places needed display forms disabled","Ulf Norell",true],["bb1c0fc89a2031986f0261f120b82a476db81ed5","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ refactor ] Coverage: Made BlockingVar into record.","Andreas Abel",true],["af661f64a8137b395db9ae78aa4591548f5a4f1a","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ comment ] Coverage.split.","Andreas Abel",true],["d205a0b869870b9f1792a4e4f819e17b9cb8c60f","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ rename ] splitClauseWithAbs --> splitClauseWithAbsurd","Andreas Abel",true],["57661e1d2abf1c29f38804e85700c9a824f5f95c","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ refactor ] forM for mapM, var x for Var x [].","Andreas Abel",true],["8a84d2cb9f129ac26b3ebbbdd69c92bd8f70d8a1","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ refactor ] Extracted splitResult from Coverage.cover.","Andreas Abel",true],["c0c77afb1170d98139f4444a667d3f730abca3d8","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0","Andreas Abel",true],["4c3d9907e32e276305cf4e098ba629a401c924ca","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","Merge branch 'maint-2.4.0'","Andreas Abel",true],["498bb8f5971545221fff64cd2af3b5513ab63186","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","Merge branch 'master' of github.com:agda/agda","Andreas Abel",true],["49afe5dd6c71341383ce134472171605848a4707","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ refactor ] Removed commented-out code.","Andreas Abel",true],["c561991ef379594121961065928353cf3d0aeb62","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ refactor ] generalized isRecordType to tryRecordType.","Andreas Abel",true],["db6c2ec574971253e3f3a8c3d1364003fea381ff","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","[ refactor ] Made a line easier to read (pointfull).","Andreas Abel",true],["9b25840f012b8c3812889a2ce19aa4c171d4022d","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","Merge branch 'maint-2.4.0'","Andreas Abel",true],["e4d467df04110bcf0613dccddd5174587af3c5a7","1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","Merge remote-tracking branch 'upstream/master'","Andrés Sicard-Ramírez",true]],"size":14,"ref":"refs/heads/master","head":"e4d467df04110bcf0613dccddd5174587af3c5a7"}