.gitignore ignores just files that weren’t tracked before (by git add). Run git rm –cached name_of_file and your file will be ignored again. from http://stackoverflow.com/questions/4308610/how-to-ignore-files-in-git
How to delete git master
First you delete master in your local clone. To do this we first make a new branch called placeholder or similar, and delete master from there: git branch placeholder git checkout placeholder git branch -D master All good so far. We next want to delete the branch on github. However, …
Git – force a pull to overwrite everything, on every pull
I have a CENTRAL bare repo that has 3 developer repositories pulling and pushing to it normally. I also have 2 other repositories that pull from the CENTRAL bare repo: one is the live server and the other is a test/stage server, each pulling their own respective branch. The scenario …
Leggi tutto “Git – force a pull to overwrite everything, on every pull”
Gitlab Webhook in PHP
I started using Gitlab a while ago, and wanted to use the Webhook feature to automatically update the website I was working on when the master branch was updated. I looked for an easy solution on the internet, but didn’t find anything that worked out of the box. Finally I …
How I use Git with Web Development
hare2At work we use Git for our Source/Version Control and use Gitlab for our repository management. I have a few steps I usually follow when I find myself working on one of our websites so here’s how I use Git with Web Development. My main role at iWeb is development …
Git Repository How To Create a Remote Shared
Per annullare l’ultimo push: “git reset –hard HEAD^” for one commit behind HEAD or “HEAD^^” for two commits behind HEAD – one ^ for each commit behind HEAD. I prefer this way. per connettersi (git clone): ssh://[email protected]:22/home/git/project2.git http://kovshenin.com/2011/howto-remote-shared-git-repository/ So Github doesn’t work for you? This article is about setting up …