Jonathan Barratt reduxionist

If you're coming to the Property-Based TDD As If You Meant It Workshop, you will need to bring a laptop with your favourite programming environment, a property-based testing library and, depending on the language, a test framework to run the property-based-tests.

Any other languages or suggestions? Comment below.

.NET (C#, F#, VB)

FsCheck

Python:

Install

Either copy the aliases from the .gitconfig or run the commands in add-pr-alias.sh

Usage

Easily checkout local copies of pull requests from remotes:

git pr 4 - creates local branch pr/4 from the github upstream(if it exists) or origin remote and checks it out
git pr 4 someremote - creates local branch pr/4 from someremote remote and checks it out

I'm doing some research on how companies use GitHub Enterprise (or public GitHub) internally. If you can help out by answering a few questions, I'd greatly appreciate it.

What is the primary setup? Is there an organization and each official repo is owned by that organization?
Does every engineer have a fork of each repo they're working on?
Are engineers allowed to push directly to the official repo? Or must all commits go through a pull request?
Do engineers work on feature branches on the main repo or on their own forks?
Do you require engineers to squash commits and rebase before merging?
Overall, what is the workflow for getting a new commit into the main repository?
What sort of hooks do you make use of?
Are there any ops issues you encountered? (Scaling, unforeseen downtime, etc.)

	========================================== ==========================================
	TMUX COMMAND WINDOW (TAB)
	========================================== ==========================================

	List tmux ls List ^b w
	New new -s <session> Create ^b c
	Attach att -t <session> Rename ^b , <name>
	Rename rename-session -t <old> <new> Last ^b l (lower-L)
	Kill kill-session -t <session> Close ^b &

	# source : http://code.google.com/p/natvpn/source/browse/trunk/stun_server_list
	# A list of available STUN server.

	stun.l.google.com:19302
	stun1.l.google.com:19302
	stun2.l.google.com:19302
	stun3.l.google.com:19302
	stun4.l.google.com:19302
	stun01.sipphone.com
	stun.ekiga.net

	define([

	'jquery',
	'underscore',
	'backbone',
	'marionette',
	'handlebars',
	'text!templates/app_view.html',

	'modules/mainMenuView/mainMenuView',

	{
	"Total": 910,
	"my dms": 1,
	"harbor is safe": 1,
	"the Galaxy ": 1,
	"Practice author": 1,
	"Graph Representation Learning - rusty1s": 1,
	"the PHP ecosystem": 1,
	"software and to ensure that Python code is properly ported to Python 3": 1,
	"Vienna - alanhamlett": 1,

	import sys

	from django.conf import settings

	settings.configure(
	DEBUG=True,
	DATABASES={'default': {'ENGINE': 'django.db.backends.sqlite3'},
	'secondary': {'ENGINE': 'django.db.backends.sqlite3'}},
	INSTALLED_APPS=['django.contrib.auth',
	'django.contrib.contenttypes',

	# coding: utf-8
	"""
	Cauê Thenório - cauelt(at)gmail.com

	This snippet makes Django do not create URL languages prefix (i.e. /en/)
	for the default language (settings.LANGUAGE_CODE).

	It also provides a middleware that activates the language based only on the URL.
	This middleware ignores user session data, cookie and 'Accept-Language' HTTP header.


	#
	# A CORS (Cross-Origin Resouce Sharing) config for nginx
	#
	# == Purpose
	#
	# This nginx configuration enables CORS requests in the following way:
	# - enables CORS just for origins on a whitelist specified by a regular expression
	# - CORS preflight request (OPTIONS) are responded immediately
	# - Access-Control-Allow-Credentials=true for GET and POST requests