francois2metz

(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,

francois2metz

this process suppose all devs have push&pull access to all repositories

When you decide to start working on a bugfix:

1. create a branch:

   git checkout master // to make sure you branch from master

   git checkout -b fixXXX

francois2metz

# 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