{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":6729615,"defaultBranch":"main","name":"idris-mode","ownerLogin":"idris-hackers","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-11-16T23:14:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3963683?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1670494990.661301","currentOid":""},"activityList":{"items":[{"before":"37c6b819903191acd85c56ef6f7ccf579b57eea4","after":"aa580b61eb3d409ae9ceb141547937ad27fae24c","ref":"refs/heads/main","pushedAt":"2024-04-23T13:20:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jfdm","name":"Jan de Muijnck-Hughes","path":"/jfdm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/331273?s=80&v=4"},"commit":{"message":"Merge pull request #623 from keram/issue-622-idris-start-project-ipkg\n\nAdd quotes around sourcedir value in generated .ipkg file","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2069247572\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-hackers/idris-mode/issues/623\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-hackers/idris-mode/pull/623/hovercard\" href=\"https://github.com/idris-hackers/idris-mode/pull/623\">#623</a> from keram/issue-622-idris-start-project-ipkg"}},{"before":"a7f0af7f6058728852c1caf786d7fc8e5cdb553f","after":"37c6b819903191acd85c56ef6f7ccf579b57eea4","ref":"refs/heads/main","pushedAt":"2023-08-02T08:54:44.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"jfdm","name":"Jan de Muijnck-Hughes","path":"/jfdm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/331273?s=80&v=4"},"commit":{"message":"Merge pull request #621 from keram/issue-620\n\nEnsure that argument passed to idris-repl-insert-result is a string","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1699132668\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-hackers/idris-mode/issues/621\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-hackers/idris-mode/pull/621/hovercard\" href=\"https://github.com/idris-hackers/idris-mode/pull/621\">#621</a> from keram/issue-620"}},{"before":"c96f45d1b8fad193f09fb6139da17092003b5e74","after":"a7f0af7f6058728852c1caf786d7fc8e5cdb553f","ref":"refs/heads/main","pushedAt":"2023-08-02T08:53:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jfdm","name":"Jan de Muijnck-Hughes","path":"/jfdm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/331273?s=80&v=4"},"commit":{"message":"Merge pull request #619 from keram/remove-unused\n\nRemove unused and nonprefixed helper function `find-common-prefix`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1620122936\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-hackers/idris-mode/issues/619\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-hackers/idris-mode/pull/619/hovercard\" href=\"https://github.com/idris-hackers/idris-mode/pull/619\">#619</a> from keram/remove-unused"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOBmemgA","startCursor":null,"endCursor":null}},"title":"Activity · idris-hackers/idris-mode"}