Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Stale branches
dev
61bf6f37
·
Readme.md: update
·
Feb 08, 2023
dev_push
c76b6e8a
·
src/pull.rs: update to check if the archive to pull exits in the local git repository
·
May 15, 2024
dev_doc
e1dc1edb
·
update README.qmd slides/slides.qmd
·
May 15, 2024
master
default
protected
44cbdb91
·
src/pull.rs src/push.rs: change in order to push/pull the commits pointed by a branch name
·
May 15, 2024
doc
fb4023de
·
README.qmd: update tag
·
May 15, 2024