Initializing and synchronizing a Git repository¶
This documentation explains how to create a Git repository synchronized with a SourceForge project. For ease of use, we will assume in the following that the project identifier and the repository name are identical :
Optional: configuring Git user identity¶
If you are using Git for the first time, you should first consider setting user related parameters. If already used Git on your user session, you can skip this step.
git config --global user.name <name> git config --global user.email <email>
Repository initialization and remote configuration¶
Create a new directory named after
my_project and initialize a Git structure inside it.
mkdir my_project cd my_project git init
Connect the local repository to the remote SourceForge, this links is named
git remote add origin https://sourceforge.isae.fr/git/my_project
First commit and push to the remote repository¶
Create and add a dummy file to the repository (to be adapted to something useful).
echo "This is a test file" > file1.txt git add file1.txt
Commit the changes locally and push the changes to the remote repository.
git commit -m "My first commit including a dummy file" git push origin master
Notice that the last instruction can be abbreviated by
git pushif the remote identifier and branch are set as default.
git push --set-upstream origin master
Updating changes from remote users¶
If you are collaborating with other users (or using several computers), you can update your local repository thanks to the following instruction.