095c9a3e92
This needs to use 'main' for its default now. Without this patch, GitHub redirects to main, but displays a banner that says 'Branch not found, redirected to default branch' at the top. Signed-off-by: Martí Bolívar <marti.bolivar@nordicsemi.no> |
||
---|---|---|
.. | ||
only | ||
zephyr | ||
local_util.py |