Carlo Cabrera
ca35e0ff11
formula_auditor: allow references to closed PRs
...
The `github_issue_comment` audit disallows references to closed or
merged PRs in other repositories. We should allow those, since it is a
common pattern to reference merged PRs in formulae when adding comments
that explain changes that need to be made in future versions (e.g.
`patch` blocks).
2023-02-10 22:02:17 +08:00
..
2023-02-08 10:03:45 +01:00
2023-02-04 13:09:59 +01:00
2023-02-08 11:05:08 +00:00
2023-01-28 12:55:57 +00:00
2023-02-09 18:27:37 +00:00
2022-08-23 11:25:02 +01:00
2023-02-07 14:56:25 +01:00
2022-12-01 00:17:04 +00:00
2023-02-09 16:06:53 +01:00
2023-02-09 14:29:29 +00:00
2022-12-19 23:25:53 -08:00
2022-12-19 18:15:51 -05:00
2022-10-30 18:16:08 +00:00
2022-11-09 01:19:46 +00:00
2023-02-07 19:25:51 +01:00
2022-11-30 03:50:38 +00:00
2023-02-09 19:15:25 +00:00
2022-10-24 19:42:49 +01:00
2022-11-05 01:58:12 +00:00
2023-02-08 11:05:08 +00:00
2023-01-02 19:18:51 +00:00
2023-02-08 18:22:58 -08:00
2023-02-09 19:07:58 +00:00
2022-10-07 19:21:11 +01:00
2022-10-11 01:09:03 +01:00
2023-02-04 13:05:20 +00:00
2023-02-06 13:48:18 -05:00
2023-02-09 18:26:37 +00:00
2022-07-24 23:37:35 +02:00
2023-02-06 16:17:04 +01:00
2023-02-08 11:05:08 +00:00
2022-08-31 20:40:42 +01:00
2022-09-08 01:44:31 +01:00
2022-11-11 16:16:54 -05:00
2022-08-31 19:17:52 +01:00
2023-01-19 11:36:37 +01:00
2023-02-04 13:51:35 -08:00
2023-02-06 16:17:04 +01:00
2022-08-23 12:42:02 +01:00
2023-01-24 21:45:18 +09:00
2023-01-22 17:26:44 -08:00
2022-08-31 19:17:52 +01:00
2022-08-31 20:40:42 +01:00
2023-01-22 17:26:44 -08:00
2022-12-08 09:57:12 +00:00
2022-12-17 11:08:13 -08:00
2022-11-09 14:45:43 +00:00
2023-01-18 13:59:58 +00:00
2023-02-06 13:50:39 -05:00
2023-02-09 19:24:31 +00:00
2023-02-02 14:49:34 +00:00
2023-02-10 22:02:17 +08:00
2023-01-26 21:41:01 +09:00
2023-02-07 19:25:51 +01:00
2023-02-08 09:30:07 +01:00
2023-02-07 19:25:51 +01:00
2022-07-21 16:41:15 +02:00
2023-02-07 13:03:25 +00:00
2023-01-25 10:07:42 -08:00
2023-02-09 19:00:03 +00:00
2023-01-06 02:46:21 -05:00
2023-02-05 11:51:48 +01:00
2022-11-16 00:07:31 +00:00
2023-01-02 19:18:51 +00:00
2023-02-06 13:27:36 +00:00
2022-12-19 09:28:12 -08:00
2022-08-25 11:04:37 +01:00
2023-01-26 21:41:45 +09:00
2022-09-19 12:37:32 +08:00
2022-11-06 22:50:07 -05:00
2022-12-19 18:15:51 -05:00
2023-02-02 17:09:25 +00:00
2022-11-08 20:33:30 +09:00
2022-11-17 21:15:43 -08:00
2022-08-13 23:30:20 -10:00
2022-08-03 17:52:54 +01:00
2023-01-19 12:40:50 -05:00
2023-02-02 19:58:03 -08:00
2022-11-06 22:50:07 -05:00
2022-09-08 01:44:31 +01:00
2022-10-10 23:56:37 -04:00
2022-07-26 12:15:53 +01:00
2023-01-22 17:26:44 -08:00
2022-10-17 13:28:20 -04:00
2022-09-16 01:57:19 +08:00
2022-12-13 11:37:06 +00:00
2023-01-23 13:32:54 -05:00
2023-01-19 11:36:37 +01:00
2023-01-19 11:36:37 +01:00
2022-11-29 23:13:50 -08:00
2022-10-11 02:53:27 +01:00
2022-07-19 23:43:14 +01:00
2022-12-23 19:36:13 +01:00
2022-10-11 02:53:27 +01:00
2023-02-05 16:07:00 +01:00
2022-09-14 22:23:01 -04:00
2022-08-18 15:40:54 +08:00
2023-01-31 19:39:10 -08:00
2023-02-03 00:36:39 +00:00
2022-09-08 01:44:31 +01:00
2022-12-05 14:26:38 +11:00
2022-09-03 16:01:55 +09:00
2023-02-07 19:25:51 +01:00
2023-02-01 10:48:45 +08:00