Browse By

Tag Archives: Git


How to delete a Git branch both locally and remotely

If you are not using a gui for github like Sourcetree or Github desktop but you prefer using git from console then you might might wondering how you can delete a branch both from server/remote and from local. The commands you can use are the

git autocompletion bash

Git auto-completion in Bash

If you are a git user in bash then you will find useful the auto-completion script from For mac users just run in the following commands: curl -O echo “source ~/git-completion.bash” >> .bash_profile Restart your terminal and you are good to go! If

Getting Git to work behind firewall (Windows)

Αν και εσεις ανηκετε στην “ευτυχη” κατηγορια των εργαζομενων που ο εργοδοτης τους, εχει εγκαταστησει firewall τοτε για να αποκτησετε προσβαση στο Github θα πρεπει να κανετε τις παρακατω ρυθμισεις: Αρχικα δημιουργειστε ενα αρχειο “.gitconfig” (αν δεν υπαρχει ηδη) και προσθεστε : [http] proxy =