pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

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
-rw-r--r-- associativity0.svg
-rw-r--r-- associativity1.svg
-rw-r--r-- badmerge0.svg
-rw-r--r-- badmerge1.svg
-rw-r--r-- badmerge2.svg
-rw-r--r-- figures-figure0.svg
-rw-r--r-- figures.svg
-rw-r--r-- goodmerge.svg
-rw-r--r-- inverse2.svg
-rw-r--r-- inverse3.svg
-rw-r--r-- known-vertices0.svg
-rw-r--r-- known-vertices1.svg
-rw-r--r-- known-vertices2.svg
-rw-r--r-- new-repos-line-add.svg
-rw-r--r-- new-repos-line-del.svg
-rw-r--r-- pseudo0.svg
-rw-r--r-- pseudo1.svg
-rw-r--r-- repos-line-add.svg
-rw-r--r-- repos-line-del.svg