{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":524599839,"defaultBranch":"main","name":"idris2-tutorial","ownerLogin":"gemmaro","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-08-14T07:14:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/29575029?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1683466225.0","currentOid":""},"activityList":{"items":[{"before":"03e53d6eb8c5123690319d6721212dba0ad11f8e","after":"5806902045990d93265aedae19ac89c616784435","ref":"refs/heads/enh/ja","pushedAt":"2023-06-29T14:56:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Improve Function part 2 chapter Japanese translation\n\n* [ change ] 'のち' -> '後'\n\n* [ change ] '振舞い' -> '挙動'\n\n* [ change ] '見付けだす' -> '見付け出す'\n\n* [ change ] '見つけ' -> '見付け'\n\n* [ change ] 'たとえば' -> '例えば'\n\n* [ change ] '見てとれるように' -> '見ての通り'\n\n* [ change ] '積み重ね' -> '累算'\n\n* [ change ] 'いずれ' -> '何れ'\n\n* [ change ] '範疇' -> 'スコープ'","shortMessageHtmlLink":"[ translate ] Improve Function part 2 chapter Japanese translation"}},{"before":"4094ad902700ef78d00de4e94cec851f2173d135","after":"03e53d6eb8c5123690319d6721212dba0ad11f8e","ref":"refs/heads/enh/ja","pushedAt":"2023-06-06T14:12:54.026Z","pushType":"push","commitsCount":1,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Improve Interface chapter Japanese translation","shortMessageHtmlLink":"[ translate ] Improve Interface chapter Japanese translation"}},{"before":"088821821c3751df42d31d8ab9d2203f0f49ff61","after":"4094ad902700ef78d00de4e94cec851f2173d135","ref":"refs/heads/enh/ja","pushedAt":"2023-06-03T11:13:57.190Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Improve Japanese (mainly data types chapter)","shortMessageHtmlLink":"[ translate ] Improve Japanese (mainly data types chapter)"}},{"before":"49b39587f6fadcfaeff25c3359a5086be96ebce8","after":"088821821c3751df42d31d8ab9d2203f0f49ff61","ref":"refs/heads/enh/ja","pushedAt":"2023-05-08T17:09:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Improve function part 1 Japanese translation\n\n* [ improve ] chapter preamble translation\n\n* [ improve ] translation of one or more argument function section\n\n* [ lint ] Avoid exclamation/question marks\n\n* [ change ] '振舞い' -> '挙動'\n\n* [ fix ] 'デフォルト' -> '既定'\n\n* [ fix ] 'リテラル' -> '直値'\n\n* [ fix ] 'スタイル' -> '形式'\n\n* [ fix ] '小間物' -> 'ユーティリティ'\n\n* [ fix ] '再実装' -> '実装し直す'","shortMessageHtmlLink":"[ translate ] Improve function part 1 Japanese translation"}},{"before":null,"after":"49b39587f6fadcfaeff25c3359a5086be96ebce8","ref":"refs/heads/enh/ja","pushedAt":"2023-05-07T13:30:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Improve Japanese translation (mainly coverpage, intro)\n\n* [ change ] '企画' -> 'プロジェクト'\n\n* [ fix ] '対称' -> '対象'\n\n* [ update ] translations in readme\n\n* [ change ] 'セットアップ' -> '準備'\n\n* [ change ] '多彩' -> '様々なことができる'\n\n* [ change ] 'スレッドセーフ' -> 'スレッド安全'\n\n* [ improve ] translations\n\n* [ fix ] 'どこまでも' -> 'いつまでも'\n\n* [ fix ] '文字文書' -> 'テキスト文書'\n\n* [ fix ] 'Idris REPL' -> 'IdrisのREPL'\n\n* [ fix ] 'ローカル' -> '局所的'\n\n* [ fix ] 'メッセージ' -> '文言'\n\n* [ add ] translation rule\n\n* [ fix ] '穴あき' -> '穴開き'\n\n* [ fix ] 'やりかた' -> '方法'","shortMessageHtmlLink":"[ translate ] Improve Japanese translation (mainly coverpage, intro)"}},{"before":"7452cd4325b3c500efe1acb4a8bdbb04f4c66801","after":"71333efc20dc57b8be0cac8044109fdcdc87d6fa","ref":"refs/heads/ja","pushedAt":"2023-04-09T22:52:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Add readme about Japanese translation","shortMessageHtmlLink":"[ translate ] Add readme about Japanese translation"}},{"before":"c22ecca33a194b0524859c54025b482954890f53","after":"7452cd4325b3c500efe1acb4a8bdbb04f4c66801","ref":"refs/heads/ja","pushedAt":"2023-04-09T22:50:04.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Add readme about Japanese translation","shortMessageHtmlLink":"[ translate ] Add readme about Japanese translation"}},{"before":"452fc0435347d9354e41e85daa17a5f67963dc12","after":"c22ecca33a194b0524859c54025b482954890f53","ref":"refs/heads/ja","pushedAt":"2023-04-09T14:18:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Update Japanese translation and PO files\n\n* [ update ] package name in po4a config\n\n* [ fix ] PO file metadata; Add proper copyrights","shortMessageHtmlLink":"[ translate ] Update Japanese translation and PO files"}},{"before":"8887c2976b51336d17c36f5bba03cef5564153af","after":"452fc0435347d9354e41e85daa17a5f67963dc12","ref":"refs/heads/ja","pushedAt":"2023-04-09T13:47:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Update Japanese translation to latest original text\n\n* [ translate ] Update translation; Resolve fuzzy entries\n\n* [ translate ] Fix PO file metadata\n\n  * [ translate ] Fix PO file; Add original author's copyright\n\n* [ translate ] Update po4a config on package name\n\n* [ translate ] Update POT files","shortMessageHtmlLink":"[ translate ] Update Japanese translation to latest original text"}},{"before":"f8a7e06cfc67bf0c3b90afa379563ca57b871ed8","after":"8887c2976b51336d17c36f5bba03cef5564153af","ref":"refs/heads/ja","pushedAt":"2023-04-09T13:44:45.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Update Japanese translation to latest original text\n\n* [ translate ] Update translation; Resolve fuzzy entries\n\n* [ translate ] Fix PO file metadata\n\n  * [ translate ] Fix PO file; Add original author's copyright\n\n* [ translate ] Update po4a config on package name\n\n* [ translate ] Update POT files","shortMessageHtmlLink":"[ translate ] Update Japanese translation to latest original text"}},{"before":"5a93af48eeadd42f4ccefb5aa32c22be2fd66e2b","after":"e3d8cdc8d73a6435939c826282f115b063d60fa2","ref":"refs/heads/main","pushedAt":"2023-04-09T12:54:27.821Z","pushType":"push","commitsCount":2,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ add ] Japanese translation project link to README (#58)","shortMessageHtmlLink":"[ add ] Japanese translation project link to README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1633163270\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/58/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/58\">stefan-hoeck#58</a>)"}},{"before":"5fae0565683acf7b078a28056c8adc1b4109ff4a","after":null,"ref":"refs/heads/add-ja-link","pushedAt":"2023-03-28T09:44:42.859Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"}},{"before":"66816a8dc6846594f8757738ea8333dac96f91ee","after":null,"ref":"refs/heads/fix-typo","pushedAt":"2023-03-28T09:43:36.574Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"}},{"before":null,"after":"5fae0565683acf7b078a28056c8adc1b4109ff4a","ref":"refs/heads/add-ja-link","pushedAt":"2023-03-21T03:07:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ add ] Japanese translation project link to README","shortMessageHtmlLink":"[ add ] Japanese translation project link to README"}},{"before":null,"after":"66816a8dc6846594f8757738ea8333dac96f91ee","ref":"refs/heads/fix-typo","pushedAt":"2023-03-21T02:23:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ fix ] some typos","shortMessageHtmlLink":"[ fix ] some typos"}},{"before":"f7dfb5d19d7bebf01ce3364e7af2c38418f47600","after":"f8a7e06cfc67bf0c3b90afa379563ca57b871ed8","ref":"refs/heads/ja","pushedAt":"2023-03-21T01:29:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"[ translate ] Translate Appendices Projects chapter into Japanese\n\n* [ translate ] Modules section\n\n* [ translate ] Module Imports\n\n* [ translate ] Namespaces\n\n* [ translate ] Visibility section\n\n* [ translate ] Visibility of Data Types\n\n* [ translate ] Child Namespaces\n\n* [ translate ] Parameter Blocks\n\n* [ translate ] Documentation\n\n* [ translate ] Comments section\n\n* [ translate ] Doc Strings\n\n* [ translate ] Packages section\n\n* [ translate ] .ipkg file section\n\n* [ translate ] Dependencies section\n\n* [ translate ] Dependency Versions\n\n* [ translate ] Library Modules\n\n* [ translate ] Pack and its curated COllection of Packages\n\n* [ translate ] Generate translation\n\n* [ translate ] Update PO files and translations\n\n* [ update ] Update translation\n\n  ... resolve fuzzies and untranslated parts","shortMessageHtmlLink":"[ translate ] Translate Appendices Projects chapter into Japanese"}},{"before":"8b02a2d53a751687eaaf37eb0840c44604d0ba57","after":"5a93af48eeadd42f4ccefb5aa32c22be2fd66e2b","ref":"refs/heads/main","pushedAt":"2023-03-21T00:32:16.008Z","pushType":"push","commitsCount":2,"pusher":{"login":"gemmaro","name":null,"path":"/gemmaro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29575029?s=80&v=4"},"commit":{"message":"Add missing links to the next chapters (#56)","shortMessageHtmlLink":"Add missing links to the next chapters (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1620435717\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/56/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/56\">stefan-hoeck#56</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADS6FLcwA","startCursor":null,"endCursor":null}},"title":"Activity · gemmaro/idris2-tutorial"}