{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":36926767,"defaultBranch":"master","name":"spdx","ownerLogin":"phadej","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-06-05T10:25:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/51087?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1723998418.0","currentOid":""},"activityList":{"items":[{"before":"2839b1c3dc884495cb215186df767e5001a35478","after":null,"ref":"refs/heads/puresat","pushedAt":"2024-08-18T16:25:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}},{"before":"9e8908a90dda386a335a78620c21c64d06255bac","after":"796ee6a0e62027ee59aa5d392e5fb172c8a652f2","ref":"refs/heads/master","pushedAt":"2024-08-18T16:25:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Merge pull request #61 from phadej/puresat\n\nUse puresat","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2472045287\" data-permission-text=\"Title is private\" data-url=\"https://github.com/phadej/spdx/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/phadej/spdx/pull/61/hovercard\" href=\"https://github.com/phadej/spdx/pull/61\">#61</a> from phadej/puresat"}},{"before":null,"after":"539efadefe3e77bb9161deb3ea59fc39e52d854f","ref":"refs/heads/learning","pushedAt":"2024-08-18T16:21:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Learning","shortMessageHtmlLink":"Learning"}},{"before":"539efadefe3e77bb9161deb3ea59fc39e52d854f","after":null,"ref":"refs/heads/learning","pushedAt":"2024-08-18T16:21:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}},{"before":null,"after":"2839b1c3dc884495cb215186df767e5001a35478","ref":"refs/heads/puresat","pushedAt":"2024-08-18T16:20:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Use puresat","shortMessageHtmlLink":"Use puresat"}},{"before":"9e6a04377e0944478fb1b32a3ecc1725b447600c","after":null,"ref":"refs/heads/trail","pushedAt":"2024-08-18T14:35:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}},{"before":"a49629a73d1470cf4277a7a68e5225791dca08e2","after":"9e8908a90dda386a335a78620c21c64d06255bac","ref":"refs/heads/master","pushedAt":"2024-08-18T14:35:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Merge pull request #60 from phadej/trail\n\nRework initial unit propagation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471999710\" data-permission-text=\"Title is private\" data-url=\"https://github.com/phadej/spdx/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/phadej/spdx/pull/60/hovercard\" href=\"https://github.com/phadej/spdx/pull/60\">#60</a> from phadej/trail"}},{"before":"9d6f0b6baee1640d627cee4b17f360cbbc72b392","after":"9e6a04377e0944478fb1b32a3ecc1725b447600c","ref":"refs/heads/trail","pushedAt":"2024-08-18T14:29:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Rework initial unit propagation","shortMessageHtmlLink":"Rework initial unit propagation"}},{"before":"1f858416277843eb23f76eeb9d77d283866970c8","after":"9d6f0b6baee1640d627cee4b17f360cbbc72b392","ref":"refs/heads/trail","pushedAt":"2024-08-18T13:35:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"b46e9bfdd53a9c5d2b9b39d2e1c376d212e9013a","after":"1f858416277843eb23f76eeb9d77d283866970c8","ref":"refs/heads/trail","pushedAt":"2024-08-18T13:25:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"b46e9bfdd53a9c5d2b9b39d2e1c376d212e9013a","ref":"refs/heads/trail","pushedAt":"2024-08-18T12:56:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"28277fb91253331d0d3d4ef40782c1125af33e0e","after":null,"ref":"refs/heads/bounds","pushedAt":"2024-08-18T10:44:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}},{"before":"2bda81e1aa06e6c112924353c37a49e47672c2e6","after":"a49629a73d1470cf4277a7a68e5225791dca08e2","ref":"refs/heads/master","pushedAt":"2024-08-18T10:44:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Merge pull request #59 from phadej/bounds\n\nAdd primitive bounds checks","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471904810\" data-permission-text=\"Title is private\" data-url=\"https://github.com/phadej/spdx/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/phadej/spdx/pull/59/hovercard\" href=\"https://github.com/phadej/spdx/pull/59\">#59</a> from phadej/bounds"}},{"before":"19e079bfc4147bd973bb531e008f341e96a3d16e","after":"28277fb91253331d0d3d4ef40782c1125af33e0e","ref":"refs/heads/bounds","pushedAt":"2024-08-18T10:39:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Add primitive bounds checks","shortMessageHtmlLink":"Add primitive bounds checks"}},{"before":"3fa9831e6150f2f497686aadb35ff40891d6d4bf","after":"19e079bfc4147bd973bb531e008f341e96a3d16e","ref":"refs/heads/bounds","pushedAt":"2024-08-17T12:17:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"82990bb1e1c2900766cbf89c3c8cc1db45ec0971","after":"3fa9831e6150f2f497686aadb35ff40891d6d4bf","ref":"refs/heads/bounds","pushedAt":"2024-08-17T11:34:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"fix segfault?","shortMessageHtmlLink":"fix segfault?"}},{"before":"dc5c63198344fc9c1630849ed3615ade7e0cf8cd","after":null,"ref":"refs/heads/small-example-phole2","pushedAt":"2024-08-16T17:46:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}},{"before":"6e3875e0a8c7e2d2080c5fbc529d892352587c05","after":"2bda81e1aa06e6c112924353c37a49e47672c2e6","ref":"refs/heads/master","pushedAt":"2024-08-16T17:46:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Merge pull request #58 from phadej/small-example-phole2\n\nAdd phole2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2470588908\" data-permission-text=\"Title is private\" data-url=\"https://github.com/phadej/spdx/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/phadej/spdx/pull/58/hovercard\" href=\"https://github.com/phadej/spdx/pull/58\">#58</a> from phadej/small-example-phole2"}},{"before":"9be4ccfa9e2ebbc50b758d8c999ae2489bb8836f","after":"82990bb1e1c2900766cbf89c3c8cc1db45ec0971","ref":"refs/heads/bounds","pushedAt":"2024-08-16T17:46:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"9be4ccfa9e2ebbc50b758d8c999ae2489bb8836f","ref":"refs/heads/bounds","pushedAt":"2024-08-16T17:36:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Progress","shortMessageHtmlLink":"Progress"}},{"before":null,"after":"dc5c63198344fc9c1630849ed3615ade7e0cf8cd","ref":"refs/heads/small-example-phole2","pushedAt":"2024-08-16T16:32:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Add phole2","shortMessageHtmlLink":"Add phole2"}},{"before":"bac51f86e1f0d23005f44ed5cf908acb2aa2e4e4","after":null,"ref":"refs/heads/cleanups","pushedAt":"2024-08-16T15:57:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}},{"before":"2429ee57529807ea045f1d3925a72c82c2579014","after":"6e3875e0a8c7e2d2080c5fbc529d892352587c05","ref":"refs/heads/master","pushedAt":"2024-08-16T15:38:54.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Merge pull request #57 from phadej/cleanups\n\nCleanups","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2470453225\" data-permission-text=\"Title is private\" data-url=\"https://github.com/phadej/spdx/issues/57\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/phadej/spdx/pull/57/hovercard\" href=\"https://github.com/phadej/spdx/pull/57\">#57</a> from phadej/cleanups"}},{"before":null,"after":"bac51f86e1f0d23005f44ed5cf908acb2aa2e4e4","ref":"refs/heads/cleanups","pushedAt":"2024-08-16T12:12:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Add DPLL.Utils","shortMessageHtmlLink":"Add DPLL.Utils"}},{"before":"2b3adf99ccc902719f3e71bae73c22060d3258c0","after":null,"ref":"refs/heads/dimacs","pushedAt":"2024-08-16T02:12:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}},{"before":"ec05c2d49c8d67fc07f9109053fee344e1e849de","after":"2429ee57529807ea045f1d3925a72c82c2579014","ref":"refs/heads/master","pushedAt":"2024-08-16T02:11:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Merge pull request #56 from phadej/dimacs\n\nAdd DIMACS parser and examples","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2468894159\" data-permission-text=\"Title is private\" data-url=\"https://github.com/phadej/spdx/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/phadej/spdx/pull/56/hovercard\" href=\"https://github.com/phadej/spdx/pull/56\">#56</a> from phadej/dimacs"}},{"before":"5df3da1202ba437256af4e59517c1a1f30fc61d3","after":"2b3adf99ccc902719f3e71bae73c22060d3258c0","ref":"refs/heads/dimacs","pushedAt":"2024-08-15T22:42:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Add DIMACS parser and examples","shortMessageHtmlLink":"Add DIMACS parser and examples"}},{"before":"fd33fa984dcc044417087f7dcce9f8d37e5bb847","after":"5df3da1202ba437256af4e59517c1a1f30fc61d3","ref":"refs/heads/dimacs","pushedAt":"2024-08-15T20:18:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Add DIMACS parser and examples","shortMessageHtmlLink":"Add DIMACS parser and examples"}},{"before":null,"after":"fd33fa984dcc044417087f7dcce9f8d37e5bb847","ref":"refs/heads/dimacs","pushedAt":"2024-08-15T12:23:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"},"commit":{"message":"Add DIMACS parser and examples","shortMessageHtmlLink":"Add DIMACS parser and examples"}},{"before":"83d04b32b992e10f32c200531b8e75abf7299bba","after":null,"ref":"refs/heads/analyse","pushedAt":"2024-08-15T09:26:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"phadej","name":"Oleg Grenrus","path":"/phadej","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51087?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xOFQxNjoyNTo0Ny4wMDAwMDBazwAAAASdXKWZ","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xOFQxNjoyNTo0Ny4wMDAwMDBazwAAAASdXKWZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xNVQwOToyNjoyNS4wMDAwMDBazwAAAASbDCci"}},"title":"Activity · phadej/spdx"}