{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":659491852,"defaultBranch":"main","name":"coqfmt","ownerLogin":"toku-sa-n","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-28T00:48:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/42336339?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715902507.0","currentOid":""},"activityList":{"items":[{"before":"a641830528589d232086c7e78094cc03662e275b","after":"b76b974d05b29ad51dacefc1c26ce981e8122ada","ref":"refs/heads/main","pushedAt":"2024-06-05T01:03:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"PP record projections (#503)","shortMessageHtmlLink":"PP record projections (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328764880\" data-permission-text=\"Title is private\" data-url=\"https://github.com/toku-sa-n/coqfmt/issues/503\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/toku-sa-n/coqfmt/pull/503/hovercard\" href=\"https://github.com/toku-sa-n/coqfmt/pull/503\">#503</a>)"}},{"before":"17a79163fd37f6d2177e6d77f1cfdbe486440fb0","after":"a641830528589d232086c7e78094cc03662e275b","ref":"refs/heads/main","pushedAt":"2024-06-04T03:48:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"PP Generalizable (#502)","shortMessageHtmlLink":"PP Generalizable (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328762067\" data-permission-text=\"Title is private\" data-url=\"https://github.com/toku-sa-n/coqfmt/issues/502\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/toku-sa-n/coqfmt/pull/502/hovercard\" href=\"https://github.com/toku-sa-n/coqfmt/pull/502\">#502</a>)"}},{"before":"c7daaf432b87cc002943a4638a8f699a5473eeda","after":"17a79163fd37f6d2177e6d77f1cfdbe486440fb0","ref":"refs/heads/main","pushedAt":"2024-06-02T02:24:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"PP Arguments modifiers (#501)","shortMessageHtmlLink":"PP Arguments modifiers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328758011\" data-permission-text=\"Title is private\" data-url=\"https://github.com/toku-sa-n/coqfmt/issues/501\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/toku-sa-n/coqfmt/pull/501/hovercard\" href=\"https://github.com/toku-sa-n/coqfmt/pull/501\">#501</a>)"}},{"before":"b145661ef8459eca7c94167831c99fd27523dcf1","after":"c7daaf432b87cc002943a4638a8f699a5473eeda","ref":"refs/heads/main","pushedAt":"2024-06-01T02:53:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Simplify capitalize_first (#500)","shortMessageHtmlLink":"Simplify capitalize_first (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328753340\" data-permission-text=\"Title is private\" data-url=\"https://github.com/toku-sa-n/coqfmt/issues/500\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/toku-sa-n/coqfmt/pull/500/hovercard\" href=\"https://github.com/toku-sa-n/coqfmt/pull/500\">#500</a>)"}},{"before":"33a94fc373972578a4b7f384935947e8dd9fc365","after":"b145661ef8459eca7c94167831c99fd27523dcf1","ref":"refs/heads/main","pushedAt":"2024-05-19T04:31:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"PP sections (#499)","shortMessageHtmlLink":"PP sections (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304391497\" data-permission-text=\"Title is private\" data-url=\"https://github.com/toku-sa-n/coqfmt/issues/499\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/toku-sa-n/coqfmt/pull/499/hovercard\" href=\"https://github.com/toku-sa-n/coqfmt/pull/499\">#499</a>)"}},{"before":"82174aed903246a6c2b92e9f7bddcfd56a8385dc","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4.1.6","pushedAt":"2024-05-17T00:28:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"}},{"before":"c31291ac018834d0e312bde4ec72e06216cd8da8","after":"33a94fc373972578a4b7f384935947e8dd9fc365","ref":"refs/heads/main","pushedAt":"2024-05-17T00:28:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 4.1.4 to 4.1.6 (#498)\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 4.1.4 to 4.1.6.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/0ad4b8fadaa221de15dcec353f45205ec38ea70b...a5ac7e51b41094c92402da3b24376905380afc29)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump actions/checkout from 4.1.4 to 4.1.6 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301547921\" data-permission-text=\"Title is private\" data-url=\"https://github.com/toku-sa-n/coqfmt/issues/498\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/toku-sa-n/coqfmt/pull/498/hovercard\" href=\"https://github.com/toku-sa-n/coqfmt/pull/498\">#498</a>)"}},{"before":"f1bb996c3547fb4468bf0ca161769c34e8650f6d","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4.1.5","pushedAt":"2024-05-16T23:35:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"82174aed903246a6c2b92e9f7bddcfd56a8385dc","ref":"refs/heads/dependabot/github_actions/actions/checkout-4.1.6","pushedAt":"2024-05-16T23:35:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 4.1.4 to 4.1.6\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 4.1.4 to 4.1.6.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/0ad4b8fadaa221de15dcec353f45205ec38ea70b...a5ac7e51b41094c92402da3b24376905380afc29)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 4.1.4 to 4.1.6"}},{"before":"a34214114dcfb78b4dada3e54e60d55aef007524","after":null,"ref":"refs/heads/record","pushedAt":"2024-05-14T14:12:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"}},{"before":"23b63a8c61802f4c9996b7f5ee02bae7d6501d42","after":"c31291ac018834d0e312bde4ec72e06216cd8da8","ref":"refs/heads/main","pushedAt":"2024-05-14T14:12:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Pp records (#497)","shortMessageHtmlLink":"Pp records (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2292736618\" data-permission-text=\"Title is private\" data-url=\"https://github.com/toku-sa-n/coqfmt/issues/497\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/toku-sa-n/coqfmt/pull/497/hovercard\" href=\"https://github.com/toku-sa-n/coqfmt/pull/497\">#497</a>)"}},{"before":"397d8e1819664406fdde639425b0980abcf5ca50","after":"a34214114dcfb78b4dada3e54e60d55aef007524","ref":"refs/heads/record","pushedAt":"2024-05-13T14:04:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Pass the test","shortMessageHtmlLink":"Pass the test"}},{"before":"a5784a835a57842a50d1c368c981f28cec72a004","after":"397d8e1819664406fdde639425b0980abcf5ca50","ref":"refs/heads/record","pushedAt":"2024-05-13T14:03:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Add a test","shortMessageHtmlLink":"Add a test"}},{"before":"5f49ea9d53ed11a1b6732f6daf10df84089e4310","after":"a5784a835a57842a50d1c368c981f28cec72a004","ref":"refs/heads/record","pushedAt":"2024-05-13T14:00:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Add","shortMessageHtmlLink":"Add"}},{"before":"9bfe49487af380c6478e847a6dfd076e20d6207f","after":"5f49ea9d53ed11a1b6732f6daf10df84089e4310","ref":"refs/heads/record","pushedAt":"2024-05-13T14:00:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Pass the test","shortMessageHtmlLink":"Pass the test"}},{"before":"23b29a11c76adcb474ee67ed94242ac7735a0959","after":"9bfe49487af380c6478e847a6dfd076e20d6207f","ref":"refs/heads/record","pushedAt":"2024-05-13T13:57:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Add","shortMessageHtmlLink":"Add"}},{"before":"b61dd4acf15e60a02bdf4b2a88abc8f34e7c1bed","after":"23b29a11c76adcb474ee67ed94242ac7735a0959","ref":"refs/heads/record","pushedAt":"2024-05-13T13:57:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Add","shortMessageHtmlLink":"Add"}},{"before":"4188b5b8ef4c8a9d9877a2b8a71f66508216f816","after":"b61dd4acf15e60a02bdf4b2a88abc8f34e7c1bed","ref":"refs/heads/record","pushedAt":"2024-05-13T13:55:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Add a test","shortMessageHtmlLink":"Add a test"}},{"before":"b48b3875371245321611e7158b37bcda4bd46a43","after":"4188b5b8ef4c8a9d9877a2b8a71f66508216f816","ref":"refs/heads/record","pushedAt":"2024-05-13T13:51:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Use `lined`","shortMessageHtmlLink":"Use <code>lined</code>"}},{"before":"32b876c5eb09e8f6029c9ac1bf2f3be45a70fb75","after":"b48b3875371245321611e7158b37bcda4bd46a43","ref":"refs/heads/record","pushedAt":"2024-05-13T13:50:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Pass the test","shortMessageHtmlLink":"Pass the test"}},{"before":"f9a1e2547b8259e87eb9d5e8463348ab90a48f40","after":"32b876c5eb09e8f6029c9ac1bf2f3be45a70fb75","ref":"refs/heads/record","pushedAt":"2024-05-13T13:46:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Add a test","shortMessageHtmlLink":"Add a test"}},{"before":"009b0f90639f9157dc3a5880ac9747241f10cfc2","after":"f9a1e2547b8259e87eb9d5e8463348ab90a48f40","ref":"refs/heads/record","pushedAt":"2024-05-13T12:51:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}},{"before":"2a9bbfc7b30bf4203d8cae9126923064c938032f","after":"009b0f90639f9157dc3a5880ac9747241f10cfc2","ref":"refs/heads/record","pushedAt":"2024-05-13T12:50:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}},{"before":"918714492b6d7904754ba8d71b85e7e29024345a","after":"2a9bbfc7b30bf4203d8cae9126923064c938032f","ref":"refs/heads/record","pushedAt":"2024-05-13T12:50:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}},{"before":"3db845987126e9237f5575db7bdb9b6a2374d128","after":"918714492b6d7904754ba8d71b85e7e29024345a","ref":"refs/heads/record","pushedAt":"2024-05-13T12:49:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}},{"before":"ca5f92cefeb5f7574c69b2796a84a21c10d1156d","after":"3db845987126e9237f5575db7bdb9b6a2374d128","ref":"refs/heads/record","pushedAt":"2024-05-13T12:49:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}},{"before":"abb11a4f5e179779ff70d8e1dfe25b30e49ba375","after":"ca5f92cefeb5f7574c69b2796a84a21c10d1156d","ref":"refs/heads/record","pushedAt":"2024-05-13T12:48:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}},{"before":"f14a7a2e76a05b7998fded828142154e6f43d45c","after":"abb11a4f5e179779ff70d8e1dfe25b30e49ba375","ref":"refs/heads/record","pushedAt":"2024-05-13T12:47:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Use `spaced`","shortMessageHtmlLink":"Use <code>spaced</code>"}},{"before":"94e9faf52a913ab132ef27df09b4d5e7cab88310","after":"f14a7a2e76a05b7998fded828142154e6f43d45c","ref":"refs/heads/record","pushedAt":"2024-05-13T12:47:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}},{"before":"3a67e858dda537bc94b8619bdc5df8d25ec977d3","after":"94e9faf52a913ab132ef27df09b4d5e7cab88310","ref":"refs/heads/record","pushedAt":"2024-05-13T12:46:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"toku-sa-n","name":"Hiroki Tokunaga","path":"/toku-sa-n","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42336339?s=80&v=4"},"commit":{"message":"Replace a wildcard","shortMessageHtmlLink":"Replace a wildcard"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXJZv2gA","startCursor":null,"endCursor":null}},"title":"Activity · toku-sa-n/coqfmt"}