{"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":"38dd2380dca5025311cee669cce2361fb8725f51","after":"09de86a8f056c61de72c678386039894779a9375","ref":"refs/heads/main","pushedAt":"2024-07-04T13:34:42.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 #632 from jfdm/revert-regexp\n\n[ fix ] revert regexp for ipkg source dirs.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2390892029\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-hackers/idris-mode/issues/632\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-hackers/idris-mode/pull/632/hovercard\" href=\"https://github.com/idris-hackers/idris-mode/pull/632\">#632</a> from jfdm/revert-regexp"}},{"before":"01ecdba625c6254fd0d0835ae07ef4930d55083e","after":"38dd2380dca5025311cee669cce2361fb8725f51","ref":"refs/heads/main","pushedAt":"2024-06-19T17:00:10.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 #631 from jfdm/spruce\n\n[ ci ] ensure we test idris1 againsts latest idris1 and emacs.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2362776906\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-hackers/idris-mode/issues/631\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-hackers/idris-mode/pull/631/hovercard\" href=\"https://github.com/idris-hackers/idris-mode/pull/631\">#631</a> from jfdm/spruce"}},{"before":"334fef6932a979fd3c59b26814c52682afc93406","after":"01ecdba625c6254fd0d0835ae07ef4930d55083e","ref":"refs/heads/main","pushedAt":"2024-06-10T09:44:09.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 #628 from jfdm/emacs-bumps\n\n[ ci ] bump emacs version range forward.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2343384780\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-hackers/idris-mode/issues/628\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-hackers/idris-mode/pull/628/hovercard\" href=\"https://github.com/idris-hackers/idris-mode/pull/628\">#628</a> from jfdm/emacs-bumps"}},{"before":"aa580b61eb3d409ae9ceb141547937ad27fae24c","after":"334fef6932a979fd3c59b26814c52682afc93406","ref":"refs/heads/main","pushedAt":"2024-06-10T09:06:58.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 #627 from keram/issue-624-pack\n\nExtract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2341849419\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-hackers/idris-mode/issues/627\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-hackers/idris-mode/pull/627/hovercard\" href=\"https://github.com/idris-hackers/idris-mode/pull/627\">#627</a> from keram/issue-624-pack"}},{"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":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNFQxMzozNDo0Mi4wMDAwMDBazwAAAAR29dVD","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNFQxMzozNDo0Mi4wMDAwMDBazwAAAAR29dVD","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0wMlQwODo1Mzo1Mi4wMDAwMDBazwAAAANiKx10"}},"title":"Activity · idris-hackers/idris-mode"}