Add open pull request query

2026-04-19 08:08:39 +01:00 · 2020-11-26 15:50:31 +01:00
parent 3c3ed7fb58
commit b269cd9464
2 changed files with 20 additions and 0 deletions
--- a/.vscode/notebooks/endgame.github-issues
+++ b/.vscode/notebooks/endgame.github-issues
@@ -17,6 +17,16 @@
    "value": "# Preparation",
    "editable": true
  },
+  {
+    "kind": 1,
+    "language": "markdown",
+    "value": "## Open Pull Requests on the Milestone"
+  },
+  {
+    "kind": 2,
+    "language": "github-issues",
+    "value": "$REPOS $MILESTONE is:pr is:open"
+  },
  {
    "kind": 1,
    "language": "markdown",