{% extends "layout.html" %} {% block title %}Repository Details{% endblock %} {% block content %}
To clone this repository, use this command:
git clone git@{{ hostname }}:{{ repo.repository_name }}
If this is a brand new repository and you want to push an existing git repository up to it, use these commands:
git remote add origin git@{{ hostname }}:{{ repo.repository_name }} git push --set-upstream origin master
User | Read | Write | Rewrite History | Create Tags | Modify Tags | |||||
---|---|---|---|---|---|---|---|---|---|---|
{{ repo_acl.user_name }} | {% if repo_acl.can_read %}allowed | {% else %}denied | {% endif %} {% if repo_acl.can_write %}allowed | {% else %}denied | {% endif %} {% if repo_acl.can_rewind %}allowed | {% else %}denied | {% endif %} {% if repo_acl.can_create_tag %}allowed | {% else %}denied | {% endif %} {% if repo_acl.can_modify_tag %}allowed | {% else %}denied | {% endif %}
You are an owner of this repository and can modify it (and its ACLs). Click here to edit the repository.
{% endif %} {% endblock %}