# rocketgit executable will have:
# label: system_u:object_r:rocketgit_exec_t
# MLS sensitivity: s0
# MCS categories: <none>
/etc/rocketgit(/.*)? gen_context(system_u:object_r:rocketgit_conf_t,s0)
/var/log/rocketgit(/.*)? gen_context(system_u:object_r:rocketgit_log_t,s0)
/var/log/rocketgit-web(/.*)? gen_context(system_u:object_r:httpd_log_t,s0)
/var/lib/rocketgit(/.*)? gen_context(system_u:object_r:rocketgit_var_t,s0)
/var/lib/rocketgit/locks(/.*)? gen_context(system_u:object_r:rocketgit_lock_t,s0)
/var/lib/rocketgit/sockets(/.*)? gen_context(system_u:object_r:rocketgit_socket_t,s0)
/usr/share/rocketgit(/.*)? gen_context(system_u:object_r:rocketgit_usr_t,s0)
/usr/share/rocketgit/scripts(/.*)? -- gen_context(system_u:object_r:rocketgit_exec_t,s0)
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"
Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/rocketgit
Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/rocketgit
You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a
pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master