hugoduraes

Delete local branches not on remote

git branch -vv | grep ': gone]' |  grep -v "\*" | awk '{ print $1; }' | xargs git branch -d

hugoduraes

Project Title

One Paragraph of project description goes here

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.

Prerequisites

hugoduraes

On the remote machine:

sudo su -
useradd <username> -m -s /bin/bash
echo '<username> ALL=(ALL:ALL) NOPASSWD:ALL' >> /etc/sudoers
mkdir -p /home/<username>/.ssh
touch /home/<username>/.ssh/authorized_keys
chown -R <username>:<username> /home/<username>/.ssh
chmod 700 /home/<username>/.ssh

hugoduraes

Reset

You can reset the commit for a local branches using git reset

To change the commit of a local branch:

git fetch
git reset origin/master --hard

hugoduraes

Execute the following command replacing /path/to/sensitive-file by the file you wish to remove from git history:

git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch /path/to/sensitive-file' --prune-empty --tag-name-filter cat -- --all

hugoduraes

// document.body.scrollTop alone should do the job but that actually works only in case of Chrome.
// With IE and Firefox it also works sometimes (seemingly with very simple pages where you have
// only a <pre> or something like that) but I don't know when. This hack seems to work always.
var scrollTop = (document.documentElement && document.documentElement.scrollTop) || document.body.scrollTop;

// Grodriguez's fix for scrollHeight:
// accounting for cases where html/body are set to height:100%
var scrollHeight = (document.documentElement && document.documentElement.scrollHeight) || document.body.scrollHeight;

// >= is needed because if the horizontal scrollbar is visible then window.innerHeight includes

hugoduraes

If you want to delete a local tag then you would do

git tag -d the_local_tag

But if you want to delete remote tag, then the syntax is a little different

git push origin :refs/tags/the_remote_tag

hugoduraes

To delete a local branch

git branch -d the_local_branch

To remove a remote branch

git push origin :the_remote_branch

hugoduraes

Add a new tag and push it

git tag new_tag old_tag
git push --tags

Then delete the old tag from remote and local

git push origin :refs/tags/old_tag
git tag -d old_tag

hugoduraes

If you have committed junk but not pushed

# deletes the commit but it will leave all your changed files "Changes to be committed"
git reset --soft HEAD~1

# deletes the commit and gets rid of any changes to tracked files
git reset --hard HEAD~1

If you already pushed and someone pulled