thedavecarroll

{
	// insert markdown links
	"Insert Link" : {
		"prefix": "link",
		"body": [
			"[text][text]{:target=\"_blank\"}"
		]
	},
	"Insert Reference" : {
		"prefix": "ref",

cthurston

db.getCollection('list').aggregate([
    {
        $facet: {
            "events":[{
                $match: {
                   'type': 'Event'
                }
            }],
            "tasks": [{
                $match: {

niksumeiko

#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.