Pinned Loading
-
delete all remote branches that have...
delete all remote branches that have already been merged into master 1$ git fetch --prune;
2$ git branch --remote --merged |
3grep origin |
4grep -v '>' |
5grep -v master |
-
osx profile
osx profile 1COLOR_NC='\e[0m' # No Color
2COLOR_WHITE='\e[1;37m'
3COLOR_BLACK='\e[0;30m'
4COLOR_BLUE='\e[0;34m'
5COLOR_LIGHT_BLUE='\e[1;34m'
-
clean up docker
clean up docker 1docker rmi -f $(docker images | grep "<none>" | awk "{print \$3}")
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.