{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":84633944,"defaultBranch":"master","name":"elsa","ownerLogin":"ucsd-progsys","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-11T08:02:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2334735?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1491522359.0","currentOid":""},"activityList":{"items":[{"before":"c0a491b6600af9bbdb64f48c06d2703a936b95cc","after":"d0ffb134cb8bf28672a74f8e57eece81f758a492","ref":"refs/heads/master","pushedAt":"2023-10-05T21:54:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"Merge pull request #20 from cole-k/master\n\nUpdate to ghc 9.4.7","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1929118839\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/elsa/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/elsa/pull/20/hovercard\" href=\"https://github.com/ucsd-progsys/elsa/pull/20\">#20</a> from cole-k/master"}},{"before":"9df3fbb315602b510c06e69817bfa44e9d7be772","after":"c0a491b6600af9bbdb64f48c06d2703a936b95cc","ref":"refs/heads/master","pushedAt":"2023-04-06T20:11:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"Merge pull request #19 from lkuper/patch-1\n\nAdd link to updated VS Code extension","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1657858366\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/elsa/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/elsa/pull/19/hovercard\" href=\"https://github.com/ucsd-progsys/elsa/pull/19\">#19</a> from lkuper/patch-1"}},{"before":"00e0bb97326cce5329dee8652f1531a4ed111d19","after":"9df3fbb315602b510c06e69817bfa44e9d7be772","ref":"refs/heads/master","pushedAt":"2023-04-01T00:01:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"update demo URL","shortMessageHtmlLink":"update demo URL"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADkJEFmgA","startCursor":null,"endCursor":null}},"title":"Activity · ucsd-progsys/elsa"}