Git et GitHub avec IntelliJ IDEA

Vous trouverez tous les détails aux adresses https://www.jetbrains.com/help/idea/using-git-integration.html et https://www.jetbrains.com/help/idea/github.html.

Création d'un dépôt (repository) Git local pour le projet

Si vous avez bien laissé cochée l'option "Create Git repository" à la création du projet, vous n'avez rien à faire.

Commit du projet

Menu Git > Commit... (ou Ctrl-K, comme Kommit ;-) )

Remarquez que les noms des fichiers qui étaient en bleu sont maintenant en blanc (dépend du mode d'affichage...).

Push du projet sur GitHub

Menu Git > Push... (ou Ctrl-Maj-K)

Pour le premier push, clic sur "Define remote" dans la fenêtre pop-up qui s'affiche et donner l'URL du repository GitHub.

Voir les commits précédents

Menu Git > Show Git log.

Clic droit sur un commit et Reset Current branch to here pour replacer la branche actuelle à ce commit. Tous les commits qui ont suivi le commit sont supprimés. On peut alors choisir l'option

• Hard pour supprimer toutes les modifications depuis le commit. Tous les fichiers locaux reviennent à l'état où ils étaient au moment du commit.
• Soft pour conserver les modifications dans les fichiers locaux. Les modifications locales sont conservées et prêtes à être validées par un nouveau commit si on le souhaite. On peut les examiner avant de les valider.
• Mixed pour conserver les modifications dans les fichiers locaux. Les modifications locales sont conservées mais elles ne sont pas prêtes à être validées par un nouveau commit si on le souhaite.