{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":86726131,"defaultBranch":"master","name":"nagini","ownerLogin":"marcoeilers","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-30T16:45:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1490193?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714311208.0","currentOid":""},"activityList":{"items":[{"before":"184a0e51e0172f1cdb3ebc9d06023ca09fd293c3","after":"f2ee2e33affd26dbcb6671049215ae0c1fe6bfca","ref":"refs/heads/py310","pushedAt":"2024-04-28T15:56:09.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into py310","shortMessageHtmlLink":"Merge branch 'master' into py310"}},{"before":"6a8c9b2b660a00e65199edf1fbc8fdfed78bc926","after":"9ee9d5f131cbd40b1f12fbada2ceaa696d754c51","ref":"refs/heads/master","pushedAt":"2024-04-28T15:52:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #190 from PascalDevenoge/master\n\nFix inconsistent use of __div__ and __truediv__","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267565664\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/190\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/190/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/190\">#190</a> from PascalDevenoge/master"}},{"before":"b3fe0bfc3dec345a096471e4d9015ba1c6eca08e","after":"184a0e51e0172f1cdb3ebc9d06023ca09fd293c3","ref":"refs/heads/py310","pushedAt":"2024-04-27T09:21:41.000Z","pushType":"push","commitsCount":69,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"e837c414fce0535e5783f32ede9aa9a880b9b38e","after":"6a8c9b2b660a00e65199edf1fbc8fdfed78bc926","ref":"refs/heads/master","pushedAt":"2024-04-26T21:59:39.000Z","pushType":"pr_merge","commitsCount":12,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #173 from marcoeilers/better_tuple_types\n\nBetter tuple axiomatization","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2155012809\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/173\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/173/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/173\">#173</a> from marcoeilers/better_tuple_types"}},{"before":"cea14b10ebb3d666ea8d6a46629ffe69eabbe92e","after":"930cd396a9784149558dcb2ba6923e2c0120c8c2","ref":"refs/heads/better_tuple_types","pushedAt":"2024-04-26T18:36:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Adding more stuff to test to try to find an error if there is one","shortMessageHtmlLink":"Adding more stuff to test to try to find an error if there is one"}},{"before":"3bf44672614cf1ee9cf7efaeb1e35f4de5a8265a","after":"cea14b10ebb3d666ea8d6a46629ffe69eabbe92e","ref":"refs/heads/better_tuple_types","pushedAt":"2024-04-26T18:28:26.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Adding more stuff to test to try to find an error if there is one","shortMessageHtmlLink":"Adding more stuff to test to try to find an error if there is one"}},{"before":"1aa41bda3a00af7ae99fe9785419a7d2c1c1c670","after":"e837c414fce0535e5783f32ede9aa9a880b9b38e","ref":"refs/heads/master","pushedAt":"2024-04-26T15:14:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #189 from marcoeilers/fix_viper_submitter\n\nFixing program submitter call","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2265878587\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/189\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/189/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/189\">#189</a> from marcoeilers/fix_viper_submitter"}},{"before":"021820c7c35af42734afa308c240ba01c251b6a1","after":"3bf44672614cf1ee9cf7efaeb1e35f4de5a8265a","ref":"refs/heads/better_tuple_types","pushedAt":"2024-04-26T14:18:42.000Z","pushType":"push","commitsCount":40,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into better_tuple_types","shortMessageHtmlLink":"Merge branch 'master' into better_tuple_types"}},{"before":null,"after":"c49c63263add02986b3f696110525086bd65f2f8","ref":"refs/heads/fix_viper_submitter","pushedAt":"2024-04-26T14:12:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Fixing program submitter call","shortMessageHtmlLink":"Fixing program submitter call"}},{"before":"f42e8df0ca8f6d640fbeaed15454a957efe4bbca","after":"1aa41bda3a00af7ae99fe9785419a7d2c1c1c670","ref":"refs/heads/master","pushedAt":"2024-04-26T14:02:25.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #180 from Simon-Hostettler/master\n\nViper Data collection changes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2204318404\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/180\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/180/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/180\">#180</a> from Simon-Hostettler/master"}},{"before":"dabeccc5245edca7dbf15894ad51643729853a63","after":"f42e8df0ca8f6d640fbeaed15454a957efe4bbca","ref":"refs/heads/master","pushedAt":"2024-04-26T14:01:02.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #188 from PascalDevenoge/inplace_magic_func\n\nAdd support for overloading inplace arithmetic operators","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2265429175\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/188\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/188/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/188\">#188</a> from PascalDevenoge/inplace_magic_func"}},{"before":"4554a175f9d204bdf2fbdf2c93eec28086a3487d","after":"dabeccc5245edca7dbf15894ad51643729853a63","ref":"refs/heads/master","pushedAt":"2024-04-26T13:40:07.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #184 from PascalDevenoge/negation_magic_func\n\nImplement support for unary operator magic functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240185732\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/184\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/184/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/184\">#184</a> from PascalDevenoge/negation_magic_func"}},{"before":"51c3d2b388abf2e4a7d27b2d59d694316058a821","after":"4554a175f9d204bdf2fbdf2c93eec28086a3487d","ref":"refs/heads/master","pushedAt":"2024-04-26T10:55:08.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #183 from PascalDevenoge/right_operand_magic_functions\n\nAdd support for reflected arithmetic magic functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2229907942\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/183\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/183/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/183\">#183</a> from PascalDevenoge/right_operand_magic_funct…"}},{"before":"e0b2cdfeb4b00a9c6a3875d84ad244843021c16e","after":"51c3d2b388abf2e4a7d27b2d59d694316058a821","ref":"refs/heads/master","pushedAt":"2024-04-25T13:10:30.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #182 from PascalDevenoge/master\n\nExtend integer comparison to support floats / Add additional magic methods to the allowed whitelist","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2205705506\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/182\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/182/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/182\">#182</a> from PascalDevenoge/master"}},{"before":"512071eef083ae57eede25ac6291245270601208","after":null,"ref":"refs/heads/issue_185","pushedAt":"2024-04-22T17:57:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"9bd8eda472b48dcaae76ad455836b53becb79304","after":"e0b2cdfeb4b00a9c6a3875d84ad244843021c16e","ref":"refs/heads/master","pushedAt":"2024-04-22T17:57:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #187 from marcoeilers/issue_185\n\nFixing two issues","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2256966650\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/187\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/187/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/187\">#187</a> from marcoeilers/issue_185"}},{"before":null,"after":"512071eef083ae57eede25ac6291245270601208","ref":"refs/heads/issue_185","pushedAt":"2024-04-22T16:22:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Fixing two issues","shortMessageHtmlLink":"Fixing two issues"}},{"before":"fd9278d87da1fcf27db85dc4461b08f34724ffcc","after":"021820c7c35af42734afa308c240ba01c251b6a1","ref":"refs/heads/better_tuple_types","pushedAt":"2024-03-22T15:04:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #179 from PascalDevenoge/better_tuple_types\n\nExpand tuple equality definition for negative indices and references","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2202495506\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/179\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/179/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/179\">#179</a> from PascalDevenoge/better_tuple_types"}},{"before":"2a6471a6dfb4521741f8bcb633cde4a05cfaf74b","after":"9bd8eda472b48dcaae76ad455836b53becb79304","ref":"refs/heads/master","pushedAt":"2024-03-17T20:20:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #178 from PascalDevenoge/master\n\nTerminate with error code according to verification result","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2190690746\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/178\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/178/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/178\">#178</a> from PascalDevenoge/master"}},{"before":"df2b85c4b86c2b90eabbbba53e3f951bfb7d786e","after":null,"ref":"refs/heads/fix_176","pushedAt":"2024-03-15T18:32:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"6ff3f869973ef56a45a69716167a97764547edbc","after":"2a6471a6dfb4521741f8bcb633cde4a05cfaf74b","ref":"refs/heads/master","pushedAt":"2024-03-15T18:32:45.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #177 from marcoeilers/fix_176\n\nFixing #176","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2188989277\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/177\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/177/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/177\">#177</a> from marcoeilers/fix_176"}},{"before":"9d8f182c45e4eafc44a995b762472a9a407905ec","after":"df2b85c4b86c2b90eabbbba53e3f951bfb7d786e","ref":"refs/heads/fix_176","pushedAt":"2024-03-15T16:50:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Adding test","shortMessageHtmlLink":"Adding test"}},{"before":null,"after":"9d8f182c45e4eafc44a995b762472a9a407905ec","ref":"refs/heads/fix_176","pushedAt":"2024-03-15T16:09:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Fixing #176","shortMessageHtmlLink":"Fixing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2188958814\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/176\" data-hovercard-type=\"issue\" data-hovercard-url=\"/marcoeilers/nagini/issues/176/hovercard\" href=\"https://github.com/marcoeilers/nagini/issues/176\">#176</a>"}},{"before":"30dba3aa3cdd0fe308edca5f5d190eecfb16a526","after":null,"ref":"refs/heads/builtin_function_errors","pushedAt":"2024-03-11T21:39:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"e0920e634b0df9cd1a751000c6abfd1ce69236ac","after":"6ff3f869973ef56a45a69716167a97764547edbc","ref":"refs/heads/master","pushedAt":"2024-03-11T21:39:32.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #174 from marcoeilers/builtin_function_errors\n\nBetter error messages for built-in functions (using Viper annotations)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2179484820\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/174\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/174/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/174\">#174</a> from marcoeilers/builtin_function_errors"}},{"before":"3a66a4499b22bf79f8c225cc6bebf7b8d76c61a4","after":"fd9278d87da1fcf27db85dc4461b08f34724ffcc","ref":"refs/heads/better_tuple_types","pushedAt":"2024-03-11T20:32:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Fixing test","shortMessageHtmlLink":"Fixing test"}},{"before":"d88b607b325272c3b16be66cb45178ee1e88c1a8","after":"3a66a4499b22bf79f8c225cc6bebf7b8d76c61a4","ref":"refs/heads/better_tuple_types","pushedAt":"2024-03-11T19:01:15.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into better_tuple_types","shortMessageHtmlLink":"Merge branch 'master' into better_tuple_types"}},{"before":"33f21dba5b8d31ce41c300e5ad67d345cd4c5234","after":"30dba3aa3cdd0fe308edca5f5d190eecfb16a526","ref":"refs/heads/builtin_function_errors","pushedAt":"2024-03-11T19:00:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge branch 'master' into builtin_function_errors","shortMessageHtmlLink":"Merge branch 'master' into builtin_function_errors"}},{"before":"9814a7e4023432172e34377b55dd9bb425e658a7","after":null,"ref":"refs/heads/meilers_viper_update_again","pushedAt":"2024-03-11T18:58:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"}},{"before":"82d5d730b611c3218a32d7dfe03fb0cd8f51cf85","after":"e0920e634b0df9cd1a751000c6abfd1ce69236ac","ref":"refs/heads/master","pushedAt":"2024-03-11T18:58:12.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"marcoeilers","name":"Marco Eilers","path":"/marcoeilers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1490193?s=80&v=4"},"commit":{"message":"Merge pull request #175 from marcoeilers/meilers_viper_update_again\n\nUpdate Viper again","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2179746052\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marcoeilers/nagini/issues/175\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/marcoeilers/nagini/pull/175/hovercard\" href=\"https://github.com/marcoeilers/nagini/pull/175\">#175</a> from marcoeilers/meilers_viper_update_again"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPFO0HAA","startCursor":null,"endCursor":null}},"title":"Activity · marcoeilers/nagini"}