Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

mode name
drwxr-xr-x layout/
drwxr-xr-x return-types-32/
drwxr-xr-x return-types-64/
drwxr-xr-x single-args-32/
drwxr-xr-x single-args-64/
-rw-r--r-- ABITestGen.py
-rw-r--r-- Enumeration.py
-rw-r--r-- TypeGen.py
-rw-r--r-- build.sh
-rw-r--r-- summarize.sh