From 8d5de6655dc072b9ae6173505d1634be7fd919bc Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Thu, 11 May 2023 02:07:34 -0400
Subject: [PATCH] document current device branches

---
 static/build.html | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/static/build.html b/static/build.html
index 992129f8..c308cc26 100644
--- a/static/build.html
+++ b/static/build.html
@@ -310,8 +310,17 @@
                         including the emulator, porting to other devices and for non-legacy
                         officially supported devices.</p>
 
-                        <p>The <code>13</code> branch is used for 4th, 5th, 6th and 7th generation
-                        Pixels, generic / emulator targets and non-Pixel devices:</p>
+                        <p>The <code>13</code> branch is used for most Pixels, generic / emulator
+                        targets and non-Pixel devices.</p>
+
+                        <p>The <code>13-lynx</code> branch is used for the newly launched Pixel 7a
+                        since there hasn't been a quarterly or yearly release to merge in support
+                        for it yet.</p>
+
+                        <p>The <code>13-coral</code> branch is used for the end-of-life Pixel 4
+                        and Pixel 4 XL due to incompatibilities with certain new changes.</p>
+
+                        <p>To sync the <code>13</code> branch:</p>
 
                         <pre>mkdir grapheneos-13
 cd grapheneos-13