L'Antre du Tryphon

These simple steps will let you move a directory contained within a git repository into another one while preserving the history. Make the parent directory of the source git repository

To remove permanantly an object in a remote GIT repository, simply perform these steps. Prior executing them, go to the GIT project folder. This is the one having the .git

This script creates a git project to be shared among the users of the Unix group $GIT_GROUP. Every git project will be created into the directory $REPOSITORIES_BASE_DIR. #!/bin/bash # Base

Decorations are not displayed when some commits are not pushed EGit within the Eclipse IDE. These are the UP and DOWN arrows shown to the right of the project name