If you need to undo a git push, you only have two options: revert the pushed commit or reset it. The option you choose to undo a pushed commit depends on the following three factors: How much control ...
Community driven content discussing all aspects of software development from DevOps to design patterns. In previous tutorials we explored how to perform a GitLab clone and pull files from a GitLab ...
Started on a new team recently (data engineers/ETL using Pentaho) and found out that while they were using a git (BitBucket) to store their jobs and transformations, they were using git absolutely ...
Quite often, developers on our team have short term needs to share code with each other. (NOTE: this has nothing to do with the main code in the primary source control system.) Examples: Two ...
Protect your code commits from malicious changes by GPG-signing them. Often when people talk about GPG, they focus on encryption—GPG's ability to protect a file or message so that only someone who has ...
With files up-to-date and a complete history of my work, it’s a dream setup.