this process suppose all devs have push&pull access to all repositories
-
create a branch:
git checkout master // to make sure you branch from
master
git checkout -b fixXXX
(function($) { | |
$.tools = $.tools || {version: '2013-02-15'}; | |
var tool = $.tools.expose = { | |
conf: { | |
maskId: 'exposeMask', | |
loadSpeed: 'slow', | |
closeSpeed: 'fast', | |
zIndex: 9998, | |
opacity: 0.8, | |
startOpacity: 0, |
# General config: | |
# --------------- | |
setw -g utf8 on | |
set -g lock-after-time 1800 | |
set-window-option -g automatic-rename off | |
set -g default-terminal screen | |
# Look & feel: | |
# ------------ | |
# Panes colors |