{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":162416841,"defaultBranch":"master","name":"headache","ownerLogin":"Frama-C","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-12-19T09:48:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/18484793?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715763026.0","currentOid":""},"activityList":{"items":[{"before":"6a94ee12000224175cbdebb604029d2b6945fc9d","after":"ca7c1e03367f5a9f532a25d5c39eaadb81048ad6","ref":"refs/heads/master","pushedAt":"2024-05-15T10:05:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"maroneze","name":"Andre","path":"/maroneze","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3179395?s=80&v=4"},"commit":{"message":"bump version for release, update installation instructions","shortMessageHtmlLink":"bump version for release, update installation instructions"}},{"before":"c2fe7f135c44e408dda55b3dffb10035c042c9b3","after":"6a94ee12000224175cbdebb604029d2b6945fc9d","ref":"refs/heads/master","pushedAt":"2024-05-03T12:45:27.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"maroneze","name":"Andre","path":"/maroneze","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3179395?s=80&v=4"},"commit":{"message":"Merge pull request #7 from Frama-C/always-end-empty-line\n\nEnsure that we have an empty line at the end of header","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2271639523\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Frama-C/headache/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Frama-C/headache/pull/7/hovercard\" href=\"https://github.com/Frama-C/headache/pull/7\">#7</a> from Frama-C/always-end-empty-line"}},{"before":"7ffd17260251d3a83d81324ca94c27b88a74f863","after":"fc2bbc83421fe6e839367630922501ccd3069bc5","ref":"refs/heads/always-end-empty-line","pushedAt":"2024-05-02T06:40:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vprevosto","name":"Virgile Prevosto","path":"/vprevosto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2104011?s=80&v=4"},"commit":{"message":"fix indentation","shortMessageHtmlLink":"fix indentation"}},{"before":"31f56a8f0d3e46215031bf9fcbb8726591e04c76","after":"7ffd17260251d3a83d81324ca94c27b88a74f863","ref":"refs/heads/always-end-empty-line","pushedAt":"2024-04-30T14:48:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vprevosto","name":"Virgile Prevosto","path":"/vprevosto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2104011?s=80&v=4"},"commit":{"message":"update version number","shortMessageHtmlLink":"update version number"}},{"before":"3a8f10c78a0c7dfb63e5182c6e4574983823b808","after":"31f56a8f0d3e46215031bf9fcbb8726591e04c76","ref":"refs/heads/always-end-empty-line","pushedAt":"2024-04-30T14:35:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vprevosto","name":"Virgile Prevosto","path":"/vprevosto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2104011?s=80&v=4"},"commit":{"message":"update version number","shortMessageHtmlLink":"update version number"}},{"before":null,"after":"3a8f10c78a0c7dfb63e5182c6e4574983823b808","ref":"refs/heads/always-end-empty-line","pushedAt":"2024-04-30T14:28:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vprevosto","name":"Virgile Prevosto","path":"/vprevosto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2104011?s=80&v=4"},"commit":{"message":"Ensure that we have an empty line at the end of header","shortMessageHtmlLink":"Ensure that we have an empty line at the end of header"}},{"before":"a7f53e41947ed17cd51f6c340a4c8ae4133bdfd0","after":"c2fe7f135c44e408dda55b3dffb10035c042c9b3","ref":"refs/heads/master","pushedAt":"2023-06-30T15:49:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vprevosto","name":"Virgile Prevosto","path":"/vprevosto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2104011?s=80&v=4"},"commit":{"message":"[dune] remove explicit dependency on bytes","shortMessageHtmlLink":"[dune] remove explicit dependency on bytes"}},{"before":"fa57b2edc128d83635d21a21726035fecbc34536","after":"a7f53e41947ed17cd51f6c340a4c8ae4133bdfd0","ref":"refs/heads/master","pushedAt":"2023-06-29T15:39:12.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"vprevosto","name":"Virgile Prevosto","path":"/vprevosto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2104011?s=80&v=4"},"commit":{"message":"Merge pull request #6 from Frama-C/update-to-1.07\n\nEnsure compatibility with camomile 2.0.0, upgrade dependencies and release 1.07","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1778521099\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Frama-C/headache/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Frama-C/headache/pull/6/hovercard\" href=\"https://github.com/Frama-C/headache/pull/6\">#6</a> from Frama-C/update-to-1.07"}},{"before":"a902147d534f7a5869dff0196a5f673dfda1005a","after":"896e32bc86d73c997e77ecbf230466f27a7ca069","ref":"refs/heads/update-to-1.07","pushedAt":"2023-06-28T14:15:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"maroneze","name":"Andre","path":"/maroneze","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3179395?s=80&v=4"},"commit":{"message":"update package maintainer","shortMessageHtmlLink":"update package maintainer"}},{"before":"184ceeaa8a5d72bd72f4741ac9e879887ae8408a","after":"a902147d534f7a5869dff0196a5f673dfda1005a","ref":"refs/heads/update-to-1.07","pushedAt":"2023-06-28T12:45:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"maroneze","name":"Andre","path":"/maroneze","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3179395?s=80&v=4"},"commit":{"message":"update dependencies, remove dead code, bump version","shortMessageHtmlLink":"update dependencies, remove dead code, bump version"}},{"before":null,"after":"184ceeaa8a5d72bd72f4741ac9e879887ae8408a","ref":"refs/heads/update-to-1.07","pushedAt":"2023-06-28T07:57:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"maroneze","name":"Andre","path":"/maroneze","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3179395?s=80&v=4"},"commit":{"message":"update dependencies, remove dead code, bump version","shortMessageHtmlLink":"update dependencies, remove dead code, bump version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESmKaRwA","startCursor":null,"endCursor":null}},"title":"Activity · Frama-C/headache"}