{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":491615676,"defaultBranch":"master","name":"proof-assistant-bot","ownerLogin":"swamp-agr","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-12T17:53:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6595049?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717782534.0","currentOid":""},"activityList":{"items":[{"before":"b519f3a7dfbc569e2ceaa93d5126eceb167209a6","after":null,"ref":"refs/heads/fix-help-alloy","pushedAt":"2024-06-07T17:48:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"ca8eb3efc6baa79f46eba6b21cb358c52cf142e9","after":"29402d346156d458dc84f0e553bac711c547a39b","ref":"refs/heads/master","pushedAt":"2024-06-07T17:48:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #51 from swamp-agr/fix-help-alloy\n\nAlloy *model* checks!","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2340910963\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/51/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/51\">#51</a> from swamp-agr/fix-help-alloy"}},{"before":null,"after":"b519f3a7dfbc569e2ceaa93d5126eceb167209a6","ref":"refs/heads/fix-help-alloy","pushedAt":"2024-06-07T17:48:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Alloy *model* checks!","shortMessageHtmlLink":"Alloy *model* checks!"}},{"before":"5a3964ac5f633a882f7ef48cb07d7588aff7c3ba","after":null,"ref":"refs/heads/support-agda-stdlib","pushedAt":"2024-06-07T17:37:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"f9bc10665cfc1d9b872cef4214181d5fba744a43","after":"ca8eb3efc6baa79f46eba6b21cb358c52cf142e9","ref":"refs/heads/master","pushedAt":"2024-06-07T17:37:33.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #50 from swamp-agr/support-agda-stdlib\n\nSupport imports from `agda-stdlib`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2340896656\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/50/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/50\">#50</a> from swamp-agr/support-agda-stdlib"}},{"before":null,"after":"5a3964ac5f633a882f7ef48cb07d7588aff7c3ba","ref":"refs/heads/support-agda-stdlib","pushedAt":"2024-06-07T17:35:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Support imports from `agda-stdlib`","shortMessageHtmlLink":"Support imports from <code>agda-stdlib</code>"}},{"before":"3c83c7b71fa41ed2f1f694ef43d463bd1992d9cb","after":null,"ref":"refs/heads/bump-telegram-bot-api","pushedAt":"2024-06-02T19:46:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"c85388f7fc27f943b8c28a5e2fd05e80b469ade9","after":"f9bc10665cfc1d9b872cef4214181d5fba744a43","ref":"refs/heads/master","pushedAt":"2024-06-02T19:46:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #49 from swamp-agr/bump-telegram-bot-api\n\nAdd missing field from bot api 7.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329834176\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/49/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/49\">#49</a> from swamp-agr/bump-telegram-bot-api"}},{"before":null,"after":"3c83c7b71fa41ed2f1f694ef43d463bd1992d9cb","ref":"refs/heads/bump-telegram-bot-api","pushedAt":"2024-06-02T19:45:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Add missing field from bot api 7.4","shortMessageHtmlLink":"Add missing field from bot api 7.4"}},{"before":"ccd5971ec54f0b69a0bfc7325361bfb0e2dd6abc","after":"c85388f7fc27f943b8c28a5e2fd05e80b469ade9","ref":"refs/heads/master","pushedAt":"2024-06-02T18:47:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Allow newer versions of tbs","shortMessageHtmlLink":"Allow newer versions of tbs"}},{"before":"856595be0591e328559fb517f05c3c1b9c172b89","after":null,"ref":"refs/heads/fix-telegram-bot","pushedAt":"2024-05-26T16:51:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"d33d2041d07e91e5a4715075794c96100b2d9455","after":"ccd5971ec54f0b69a0bfc7325361bfb0e2dd6abc","ref":"refs/heads/master","pushedAt":"2024-05-26T16:51:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #48 from swamp-agr/fix-telegram-bot\n\nFix telegram-bot and more","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317843983\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/48/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/48\">#48</a> from swamp-agr/fix-telegram-bot"}},{"before":null,"after":"856595be0591e328559fb517f05c3c1b9c172b89","ref":"refs/heads/fix-telegram-bot","pushedAt":"2024-05-26T16:49:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Fix telegram-bot and more","shortMessageHtmlLink":"Fix telegram-bot and more"}},{"before":"660457049766e4f476c5b22e3bedc6046b14b3ad","after":null,"ref":"refs/heads/fix-lake-error","pushedAt":"2024-02-11T12:37:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"84e2a6aac7d7da083199b3c405fa410857aa6e49","after":"d33d2041d07e91e5a4715075794c96100b2d9455","ref":"refs/heads/master","pushedAt":"2024-02-11T12:37:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #46 from swamp-agr/fix-lake-error\n\nAllow lake writing files in project dir","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128971341\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/46/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/46\">#46</a> from swamp-agr/fix-lake-error"}},{"before":null,"after":"660457049766e4f476c5b22e3bedc6046b14b3ad","ref":"refs/heads/fix-lake-error","pushedAt":"2024-02-11T12:36:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Allow lake writing files in project dir","shortMessageHtmlLink":"Allow lake writing files in project dir"}},{"before":"acb3ac4e5fd9ce0c219bcbefd7e9fdced1c4903b","after":null,"ref":"refs/heads/lean4","pushedAt":"2024-02-11T12:22:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"4c8662831dea2bca6020fd7cd19d533312e2cbdd","after":"84e2a6aac7d7da083199b3c405fa410857aa6e49","ref":"refs/heads/master","pushedAt":"2024-02-11T12:22:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #44 from swamp-agr/lean4\n\nUpdate README and modify config to work with Lean 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128966321\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/44\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/44/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/44\">#44</a> from swamp-agr/lean4"}},{"before":null,"after":"acb3ac4e5fd9ce0c219bcbefd7e9fdced1c4903b","ref":"refs/heads/lean4","pushedAt":"2024-02-11T12:20:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Update README and modify config to work with Lean 4","shortMessageHtmlLink":"Update README and modify config to work with Lean 4"}},{"before":"9e83176c76add9e63ee87d7965ef60901650259d","after":"4c8662831dea2bca6020fd7cd19d533312e2cbdd","ref":"refs/heads/master","pushedAt":"2024-02-07T20:30:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Bump version and update changelog","shortMessageHtmlLink":"Bump version and update changelog"}},{"before":"103f8bead9047dbe8f2b168724cbc1d4799adc16","after":null,"ref":"refs/heads/ghc-9.6-deps-bump","pushedAt":"2024-02-07T20:27:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"eee7d3c0e74893edee8216fef400b6b5a57b5fd5","after":"9e83176c76add9e63ee87d7965ef60901650259d","ref":"refs/heads/master","pushedAt":"2024-02-07T20:27:07.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #43 from swamp-agr/ghc-9.6-deps-bump\n\nBump GHC, mtl, Agda, rzk, telegram-bot-simple!","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2123806531\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/43/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/43\">#43</a> from swamp-agr/ghc-9.6-deps-bump"}},{"before":null,"after":"103f8bead9047dbe8f2b168724cbc1d4799adc16","ref":"refs/heads/ghc-9.6-deps-bump","pushedAt":"2024-02-07T20:19:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Bump GHC, mtl, Agda, rzk, telegram-bot-simple!","shortMessageHtmlLink":"Bump GHC, mtl, Agda, rzk, telegram-bot-simple!"}},{"before":"401be72005b85e067fd0e95f73aa52425ed62a6d","after":null,"ref":"refs/heads/fix-version-output","pushedAt":"2023-04-30T20:29:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"b8574e42f3aa3892840065813f44cb0451638159","after":"eee7d3c0e74893edee8216fef400b6b5a57b5fd5","ref":"refs/heads/master","pushedAt":"2023-04-30T20:29:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #42 from swamp-agr/fix-version-output\n\nFix duplicate and incorrect output of `/version` command","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1690069854\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/42/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/42\">#42</a> from swamp-agr/fix-version-output"}},{"before":null,"after":"401be72005b85e067fd0e95f73aa52425ed62a6d","ref":"refs/heads/fix-version-output","pushedAt":"2023-04-30T20:25:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Fix duplicate and incorrect output","shortMessageHtmlLink":"Fix duplicate and incorrect output"}},{"before":"bc85a2231aa2f4460491b78f00611d4f9dda1805","after":null,"ref":"refs/heads/bump-tbs-version","pushedAt":"2023-04-30T17:23:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}},{"before":"4bd5cc3dc7bcb4b7be5f73ebd8b4fff75e674089","after":"b8574e42f3aa3892840065813f44cb0451638159","ref":"refs/heads/master","pushedAt":"2023-04-30T17:23:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Merge pull request #41 from swamp-agr/bump-tbs-version\n\nBump telegram-bot-simple version","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1690004563\" data-permission-text=\"Title is private\" data-url=\"https://github.com/swamp-agr/proof-assistant-bot/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/swamp-agr/proof-assistant-bot/pull/41/hovercard\" href=\"https://github.com/swamp-agr/proof-assistant-bot/pull/41\">#41</a> from swamp-agr/bump-tbs-version"}},{"before":null,"after":"bc85a2231aa2f4460491b78f00611d4f9dda1805","ref":"refs/heads/bump-tbs-version","pushedAt":"2023-04-30T17:23:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"},"commit":{"message":"Bump telegram-bot-simple version","shortMessageHtmlLink":"Bump telegram-bot-simple version"}},{"before":"a7058e624fecc9b433b39529139746f6b889a408","after":null,"ref":"refs/heads/switch-rzk-0.2","pushedAt":"2023-04-23T20:00:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"swamp-agr","name":"Andrey Prokopenko","path":"/swamp-agr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6595049?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wN1QxNzo0ODo1NC4wMDAwMDBazwAAAARfeJYg","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wN1QxNzo0ODo1NC4wMDAwMDBazwAAAARfeJYg","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yM1QyMDowMDozNS4wMDAwMDBazwAAAAMekUAp"}},"title":"Activity · swamp-agr/proof-assistant-bot"}