Skip to content

Instantly share code, notes, and snippets.

@schocco
schocco / git-features-u-should-start-using.md
Last active April 3, 2018 08:11
git features that you should start using

git features that you should start using

A collection of basic and advanced features which come in handy for developers but are not known or used by many among us.

First of all: don't be afraid of command line interfaces!

Managing the git history

rewriting with interactive rebase and amend searching in the history https://git-scm.com/book/en/v2/Git-Tools-Searching

@schocco
schocco / mongo_import.py
Created January 4, 2019 08:45
Import JSON Lines in batches into MongoDB
#!/usr/bin/env python3
import argparse
import json
import os
from concurrent.futures import ProcessPoolExecutor
from pymongo import MongoClient
from gpx import Track