Repository summary
{#if repository}
- ID
{repository.id}
- Kind
- {repository.kind}
- Workspace root
{repository.workspace_root}
- Record authority
- {repository.record_authority}
- Git
- {repository.git.status}
{:else if repositoryError}
{repositoryError}
{:else}
Waiting for /api/repositories/local…
{/if}
Git summary
{#if repository}
{#if repository.git.status === 'available'}
- Root
{repository.git.root ?? 'unknown'}
- Branch
- {repository.git.branch ?? 'unknown'}
- HEAD
{shortHash(repository.git.head)}
- Dirty
- {repository.git.dirty === null || repository.git.dirty === undefined ? 'unknown' : repository.git.dirty ? 'yes' : 'no'} {repository.git.dirty_scope}
- Remote
-
{#if repository.git.remote}
{repository.git.remote.name} · {repository.git.remote.url}
{#if repository.git.remote.redacted}credentials redacted{/if}
{:else}
not configured
{/if}
{:else}
Git metadata is unavailable for this local Repository.
{/if}
{:else if repositoryError}
{repositoryError}
{:else}
Waiting for Git summary…
{/if}