Add support for tfl dag.

Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>

.github/workflows/gh-pages.yml

@@ -61,6 +61,20 @@ jobs:
           ZENHUB_TOKEN: ${{ secrets.ZENHUB_TOKEN }}
           SHOW_MILESTONES: true
 
+      - name: Render Halo2-focused DAG
+        run: python3 ./zcash-issue-dag.py
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          ZENHUB_TOKEN: ${{ secrets.ZENHUB_TOKEN }}
+          DAG_VIEW: halo2
+
+      - name: Render TFL-focused DAG
+        run: python3 ./zcash-issue-dag.py
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          ZENHUB_TOKEN: ${{ secrets.ZENHUB_TOKEN }}
+          DAG_VIEW: tfl
+
       - name: Render ECC wallet DAG
         run: python3 ./zcash-issue-dag.py
         env:
@@ -96,13 +110,6 @@ jobs:
           DAG_VIEW: zf
           SHOW_EPICS: true
 
-      - name: Render Halo2-focused DAG
-        run: python3 ./zcash-issue-dag.py
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          ZENHUB_TOKEN: ${{ secrets.ZENHUB_TOKEN }}
-          DAG_VIEW: halo2
-
       - name: Copy the index page
         run: cp ./index.html ./public
 

README.md

@@ -29,7 +29,7 @@ The DAG script depends upon GraphQL APIs for GitHub which can be generated using
 The `zcash-issue-dag.py` script supports several configuration options,
 also supplied as environment variables:
 
-- `DAG_VIEW=[core|wallet|zf]`: The DAG to render (default: `core`).
+- `DAG_VIEW=[core|halo2|tfl|wallet|wallet-ios|wallet-android|zf]`: The DAG to render (default: `core`).
 - `SHOW_MILESTONES=[true|false]`: Whether or not to render GitHub milestones as boxes (default: `false`).
 - `SHOW_EPICS=[true|false]`: Whether or not to render ZenHub epics as boxes (default: `false`).
 - `INCLUDE_FINISHED=[true|false]`: Whether or not to include closed issues with no open blockers (default: `false`).

zcash-issue-dag.py

@@ -22,6 +22,8 @@ ZENHUB_TOKEN = os.environ.get('ZENHUB_TOKEN')
 
 DAG_VIEW = os.environ.get('DAG_VIEW', 'core')
 
+# To get the id of a repo, see <https://stackoverflow.com/a/47223479/393146>.
+
 CORE_REPOS = {
     26987049: ('zcash', 'zcash'),
     47279130: ('zcash', 'zips'),
@@ -38,6 +40,11 @@ HALO2_REPOS = {
     344239327: ('zcash', 'pasta_curves'),
 }
 
+TFL_REPOS = {
+    642135348: ('Electric-Coin-Company', 'tfl-book'),
+    695805989: ('zcash', 'simtfl'),
+}
+
 WALLET_REPOS = {
     85334928: ('zcash', 'librustzcash'),
     151763639: ('zcash', 'zcash-android-wallet-sdk'),
@@ -71,6 +78,7 @@ ZF_REPOS = {
 REPO_SETS = {
     'core': CORE_REPOS,
     'halo2': HALO2_REPOS,
+    'tfl': TFL_REPOS,
     'wallet': WALLET_REPOS,
     'wallet-ios': IOS_REPOS,
     'wallet-android': ANDROID_REPOS,