{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":27507850,"defaultBranch":"master","name":"batfish","ownerLogin":"batfish","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-12-03T21:10:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24584846?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718108026.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"f31d2be42466182ed9759b2ae6dfc1695a7a4b80","ref":"refs/heads/bazel-steward/org.apache.commons/commons-configuration2/2.11.0","pushedAt":"2024-06-11T12:13:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Updated org.apache.commons:commons-configuration2 to 2.11.0","shortMessageHtmlLink":"Updated org.apache.commons:commons-configuration2 to 2.11.0"}},{"before":"671daf017abb3efff4c893ac868921ffcfb03e9b","after":null,"ref":"refs/heads/spr/master/00043208","pushedAt":"2024-06-08T01:40:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"}},{"before":"605bd98abac24ccf496ee9b4755abb876e5340c1","after":"68bea18c6d28cac38b85f93bf868f379c2fb55af","ref":"refs/heads/master","pushedAt":"2024-06-08T01:40:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"minesweeper: handwavy implementation of CommunitySet HasSize (#9069)\n\nFiltering on community set size is an extremely fragile capability. The primary\nway we've seen it used is as a safeguard against, say, 1000 communities on a route.\nIn practical networks, we rarely see more than a dozen communities.\n\nMake minesweeper approximate HasSize in a way that lines up with that use case,\nwhich may need adaptation if we learn of others. This improves behavior\nin a common case.\n\ncommit-id:00043208","shortMessageHtmlLink":"minesweeper: handwavy implementation of CommunitySet HasSize (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2341276879\" data-permission-text=\"Title is private\" data-url=\"https://github.com/batfish/batfish/issues/9069\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/batfish/batfish/pull/9069/hovercard\" href=\"https://github.com/batfish/batfish/pull/9069\">#9069</a>)"}},{"before":"67eaad98e9297a036f597e99d86267ee08482b8f","after":"671daf017abb3efff4c893ac868921ffcfb03e9b","ref":"refs/heads/spr/master/00043208","pushedAt":"2024-06-07T23:17:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"minesweeper: handwavy implementation of CommunitySet HasSize\n\nFiltering on community set size is an extremely fragile capability. The primary\nway we've seen it used is as a safeguard against, say, 1000 communities on a route.\nIn practical networks, we rarely see more than a dozen communities.\n\nMake minesweeper approximate HasSize in a way that lines up with that use case,\nwhich may need adaptation if we learn of others. This improves behavior\nin a common case.\n\ncommit-id:00043208","shortMessageHtmlLink":"minesweeper: handwavy implementation of CommunitySet HasSize"}},{"before":null,"after":"67eaad98e9297a036f597e99d86267ee08482b8f","ref":"refs/heads/spr/master/00043208","pushedAt":"2024-06-07T23:14:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"minesweeper: handwavy implementation of CommunitySet HasSize\n\nFiltering on community set size is an extremely fragile capability. The primary\nway we've seen it used is as a safeguard against, say, 1000 communities on a route.\nIn practical networks, we rarely see more than a dozen communities.\n\nMake minesweeper approximate HasSize in a way that lines up with that use case,\nwhich may need adaptation if we learn of others. This improves behavior\nin a common case.\n\ncommit-id:00043208","shortMessageHtmlLink":"minesweeper: handwavy implementation of CommunitySet HasSize"}},{"before":null,"after":"ef54f1dcb83b47928517b32a30a18972a26867dd","ref":"refs/heads/spr/master/47a81962","pushedAt":"2024-06-07T17:04:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"RoutePolicyStatementMatchCollector: incorporate the BooleanExprMatchCollector\n\nThe separation of the Statement walker and the BooleanExpr walker broke because\nBooleanExpr can call policies, which have Statements. That meant that any\noverrides in the StatementMatchCollector were lost when going through a call or\nsimilar.\n\nUnifying them actually leads to simpler code, and can still be used to just walk\nBooleanExpr or RoutingPolicy.\n\nAlso, since they collect from Sets e.g., Community, drop the \"Match\" part.\n\ncommit-id:47a81962","shortMessageHtmlLink":"RoutePolicyStatementMatchCollector: incorporate the BooleanExprMatchC…"}},{"before":"a063b5992118f92e0a0302796601d46a0bd9402f","after":null,"ref":"refs/heads/spr/master/64683608","pushedAt":"2024-06-06T15:51:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"}},{"before":"2beb121f9ae9a7010d4ea56a7a29a9dc24233e77","after":"605bd98abac24ccf496ee9b4755abb876e5340c1","ref":"refs/heads/master","pushedAt":"2024-06-06T15:51:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"MutableBDDInteger: internal leak checking and fixes (#9059)\n\nThere were no tests of MutableBDDInteger#sub or #toBDD(IpWildcard), or #and, so\r\nI implemented minimal versions of those as well.\r\n\r\ncommit-id:64683608","shortMessageHtmlLink":"MutableBDDInteger: internal leak checking and fixes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336207602\" data-permission-text=\"Title is private\" data-url=\"https://github.com/batfish/batfish/issues/9059\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/batfish/batfish/pull/9059/hovercard\" href=\"https://github.com/batfish/batfish/pull/9059\">#9059</a>)"}},{"before":"627fc4e97d07f7c82d8803955efff4176970f2c6","after":"a063b5992118f92e0a0302796601d46a0bd9402f","ref":"refs/heads/spr/master/64683608","pushedAt":"2024-06-06T01:03:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"MutableBDDInteger: internal leak checking and fixes\n\nThere were no tests of MutableBDDInteger#sub or #toBDD(IpWildcard), or #and, so\nI implemented minimal versions of those as well.\n\ncommit-id:64683608","shortMessageHtmlLink":"MutableBDDInteger: internal leak checking and fixes"}},{"before":"8fd7b04eb4db978713671dac84a5c4cedfb3d637","after":"627fc4e97d07f7c82d8803955efff4176970f2c6","ref":"refs/heads/spr/master/64683608","pushedAt":"2024-06-06T00:50:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"MutableBDDInteger: internal leak checking and fixes\n\nThere were no tests of MutableBDDInteger#sub or #toBDD(IpWildcard), so I\nimplemented those as well.\n\ncommit-id:64683608","shortMessageHtmlLink":"MutableBDDInteger: internal leak checking and fixes"}},{"before":"6aa39ead588646c5611db43d217f5f934445bd46","after":null,"ref":"refs/heads/spr/master/b83d263e","pushedAt":"2024-06-06T00:50:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"}},{"before":"594e483217d247017379a7153720d52bd93e594d","after":"2beb121f9ae9a7010d4ea56a7a29a9dc24233e77","ref":"refs/heads/master","pushedAt":"2024-06-06T00:50:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"ModelGeneration: improve logging on failure (#9067)\n\ncommit-id:b83d263e","shortMessageHtmlLink":"ModelGeneration: improve logging on failure (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337063051\" data-permission-text=\"Title is private\" data-url=\"https://github.com/batfish/batfish/issues/9067\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/batfish/batfish/pull/9067/hovercard\" href=\"https://github.com/batfish/batfish/pull/9067\">#9067</a>)"}},{"before":"050487a9f0b24c03ebcc040ed0822ca630e20290","after":"6aa39ead588646c5611db43d217f5f934445bd46","ref":"refs/heads/spr/master/b83d263e","pushedAt":"2024-06-06T00:46:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"ModelGeneration: improve logging on failure\n\ncommit-id:b83d263e","shortMessageHtmlLink":"ModelGeneration: improve logging on failure"}},{"before":"2b0803414d1a651533674fa60bdce38cb7fe8e0e","after":"8fd7b04eb4db978713671dac84a5c4cedfb3d637","ref":"refs/heads/spr/master/64683608","pushedAt":"2024-06-06T00:46:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"MutableBDDInteger: internal leak checking and fixes\n\nThere were no tests of MutableBDDInteger#sub or #toBDD(IpWildcard), so I\nimplemented those as well.\n\ncommit-id:64683608","shortMessageHtmlLink":"MutableBDDInteger: internal leak checking and fixes"}},{"before":"e869367ac90ccbdefc949f7862dead9cc54f9034","after":"050487a9f0b24c03ebcc040ed0822ca630e20290","ref":"refs/heads/spr/master/b83d263e","pushedAt":"2024-06-05T22:36:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"ModelGeneration: improve logging on failure\n\ncommit-id:b83d263e","shortMessageHtmlLink":"ModelGeneration: improve logging on failure"}},{"before":"951439ebc21e4f7083f27758f2ad1f9bb40673bf","after":"2b0803414d1a651533674fa60bdce38cb7fe8e0e","ref":"refs/heads/spr/master/64683608","pushedAt":"2024-06-05T22:36:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"MutableBDDInteger: internal leak checking and fixes\n\nThere were no tests of MutableBDDInteger#sub, so I implemented those as well.\n\ncommit-id:64683608","shortMessageHtmlLink":"MutableBDDInteger: internal leak checking and fixes"}},{"before":"9c77cc5e8b391ce7fa567852bcdb78223062feaf","after":null,"ref":"refs/heads/spr/master/35dbd005","pushedAt":"2024-06-05T22:34:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"}},{"before":"ee1cc2a2fda64a0e2fb76f5c439b3d43f58b56bd","after":"594e483217d247017379a7153720d52bd93e594d","ref":"refs/heads/master","pushedAt":"2024-06-05T22:34:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"pre-commit: upgrade to artifacts v4 (#9066)\n\nhttps://github.blog/changelog/2023-12-14-github-actions-artifacts-v4-is-now-generally-available/\r\n\r\nSeeing transient errors in other builds, and this upgrade from December\r\nappears to look like it could address it.\r\n\r\ncommit-id:35dbd005","shortMessageHtmlLink":"pre-commit: upgrade to artifacts v4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336900834\" data-permission-text=\"Title is private\" data-url=\"https://github.com/batfish/batfish/issues/9066\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/batfish/batfish/pull/9066/hovercard\" href=\"https://github.com/batfish/batfish/pull/9066\">#9066</a>)"}},{"before":"e0f29571b2afe7763067aa6ced8fe13f7eaa16f0","after":"9c77cc5e8b391ce7fa567852bcdb78223062feaf","ref":"refs/heads/spr/master/35dbd005","pushedAt":"2024-06-05T22:31:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"pre-commit: upgrade to artifacts v4\n\nhttps://github.blog/changelog/2023-12-14-github-actions-artifacts-v4-is-now-generally-available/\n\nSeeing transient errors in other builds, and this upgrade from December\nappears to look like it could address it.\n\ncommit-id:35dbd005","shortMessageHtmlLink":"pre-commit: upgrade to artifacts v4"}},{"before":"c611e728c216fca8a7050fc822743d8b8bbf3816","after":"e0f29571b2afe7763067aa6ced8fe13f7eaa16f0","ref":"refs/heads/spr/master/35dbd005","pushedAt":"2024-06-05T22:29:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"pre-commit: upgrade to artifacts v4\n\nhttps://github.blog/changelog/2023-12-14-github-actions-artifacts-v4-is-now-generally-available/\n\nSeeing transient errors in other builds, and this upgrade from December\nappears to look like it could address it.\n\ncommit-id:35dbd005","shortMessageHtmlLink":"pre-commit: upgrade to artifacts v4"}},{"before":null,"after":"c611e728c216fca8a7050fc822743d8b8bbf3816","ref":"refs/heads/spr/master/35dbd005","pushedAt":"2024-06-05T21:59:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"pre-commit: upgrade to artifacts v4\n\nhttps://github.blog/changelog/2023-12-14-github-actions-artifacts-v4-is-now-generally-available/\n\nSeeing transient errors in other builds, and this upgrade from December\nappears to look like it could address it.\n\ncommit-id:35dbd005","shortMessageHtmlLink":"pre-commit: upgrade to artifacts v4"}},{"before":"99fe2691c0aed2e2f31643d57e774e8ed03b8740","after":"951439ebc21e4f7083f27758f2ad1f9bb40673bf","ref":"refs/heads/spr/master/64683608","pushedAt":"2024-06-05T21:31:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"MutableBDDInteger: internal leak checking and fixes\n\nThere were no tests of MutableBDDInteger#sub, so I implemented those as well.\n\ncommit-id:64683608","shortMessageHtmlLink":"MutableBDDInteger: internal leak checking and fixes"}},{"before":"877e80645a89dd4ce9a0320b9b91678b779c4b13","after":"e869367ac90ccbdefc949f7862dead9cc54f9034","ref":"refs/heads/spr/master/b83d263e","pushedAt":"2024-06-05T21:31:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"ModelGeneration: improve logging on failure\n\ncommit-id:b83d263e","shortMessageHtmlLink":"ModelGeneration: improve logging on failure"}},{"before":"e119f7bf5d6d2ec791ab9c15747143303899df42","after":null,"ref":"refs/heads/spr/master/faba94b2","pushedAt":"2024-06-05T21:29:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"}},{"before":"1efd9bf8da7d12091f57e59e35af24443c589fd2","after":"ee1cc2a2fda64a0e2fb76f5c439b3d43f58b56bd","ref":"refs/heads/master","pushedAt":"2024-06-05T21:29:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"github: try matrix unit tests (#9065)\n\ncommit-id:faba94b2","shortMessageHtmlLink":"github: try matrix unit tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336833005\" data-permission-text=\"Title is private\" data-url=\"https://github.com/batfish/batfish/issues/9065\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/batfish/batfish/pull/9065/hovercard\" href=\"https://github.com/batfish/batfish/pull/9065\">#9065</a>)"}},{"before":"fee8b4b153464e690f1d7e81b92136fa12bc64c1","after":"e119f7bf5d6d2ec791ab9c15747143303899df42","ref":"refs/heads/spr/master/faba94b2","pushedAt":"2024-06-05T21:05:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"github: try matrix unit tests\n\ncommit-id:faba94b2","shortMessageHtmlLink":"github: try matrix unit tests"}},{"before":null,"after":"fee8b4b153464e690f1d7e81b92136fa12bc64c1","ref":"refs/heads/spr/master/faba94b2","pushedAt":"2024-06-05T21:04:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"github: try matrix unit tests\n\ncommit-id:faba94b2","shortMessageHtmlLink":"github: try matrix unit tests"}},{"before":"b0d781090d0231266e34dda6f27493de18e97520","after":null,"ref":"refs/heads/spr/master/d3603b78","pushedAt":"2024-06-05T21:00:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"}},{"before":"30fb99961317b7662e2acc3ddda118760b71d096","after":"1efd9bf8da7d12091f57e59e35af24443c589fd2","ref":"refs/heads/master","pushedAt":"2024-06-05T21:00:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"github: try matrix pre-commits (#9064)\n\nThis is clearly not useful, but trying to get towards java17\n\ncommit-id:d3603b78","shortMessageHtmlLink":"github: try matrix pre-commits (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336820444\" data-permission-text=\"Title is private\" data-url=\"https://github.com/batfish/batfish/issues/9064\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/batfish/batfish/pull/9064/hovercard\" href=\"https://github.com/batfish/batfish/pull/9064\">#9064</a>)"}},{"before":null,"after":"b0d781090d0231266e34dda6f27493de18e97520","ref":"refs/heads/spr/master/d3603b78","pushedAt":"2024-06-05T20:56:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dhalperi","name":"Dan Halperin","path":"/dhalperi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526415?s=80&v=4"},"commit":{"message":"github: try matrix pre-commits\n\nThis is clearly not useful, but trying to get towards java17\n\ncommit-id:d3603b78","shortMessageHtmlLink":"github: try matrix pre-commits"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYi1EBAA","startCursor":null,"endCursor":null}},"title":"Activity · batfish/batfish"}