Creating & Programming Robots

Back to Main Info Page

Some useful git commands :

• Clone behind a proxy
• Conflict Management
• Put changes in a new branch
• Merging
• Revert (discard) changes and come back to last commit
• Restore a file deleted in a previous commit
• Restore a file with the content it had in a previous previous commit
• About branches
• Problem cloning repo with large files
• Make a git repository from an existing folder
• Status and configuration
• Auto authentication credentials (prevent typing user and password each time)
• Apply changes made in .gitignore
• Change message of last commit
• Recover from a too large push failure (remote: fatal: pack exceeds maximum allowed size)
• Git inside git with submodules
• fully remove submodules
• Pushing to another GitLab repo after cloning