Skip to content

Instantly share code, notes, and snippets.


Manfred Touron moul

Block or report user

Report or block moul

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
piscisaureus /
Created Aug 13, 2012
Checkout github pull requests locally

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url =

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:

kachayev /
Last active Mar 29, 2020
Channels Are Not Enough or Why Pipelining Is Not That Easy
aras-p / preprocessor_fun.h
Last active Mar 28, 2020
Things to commit just before leaving your job
View preprocessor_fun.h
// Just before switching jobs:
// Add one of these.
// Preferably into the same commit where you do a large merge.
// This started as a tweet with a joke of "C++ pro-tip: #define private public",
// and then it quickly escalated into more and more evil suggestions.
// I've tried to capture interesting suggestions here.
// Contributors: @r2d2rigo, @joeldevahl, @msinilo, @_Humus_,
// @YuriyODonnell, @rygorous, @cmuratori, @mike_acton, @grumpygiant,
namuol /
Last active Mar 24, 2020
rage-quit support for bash

rage-quit support for bash


Put flip somewhere in your $PATH and chmod a+x it.

Copy fuck into ~/.bashrc.

endolith / Has weird right-to-left characters.txt
Last active Mar 24, 2020
Unicode kaomoji smileys emoticons emoji
View Has weird right-to-left characters.txt
paulmillr /
Last active Mar 22, 2020
Most active GitHub users (by contributions).

Most active GitHub users (

The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at from Tue, 06 Dec 2016 17:06:46 GMT till Wed, 06 Dec 2017 17:06:46 GMT.

Only first 1000 GitHub users according to the count of followers are taken. This is because of limitations of GitHub search. Sorting algo in pseudocode:

  .filter(user => user.followers > 1000)
podshumok / gmail_1.csv
Last active Mar 9, 2020
Leaked gmail passwords w/o logins sorted by popularity (at least 11 occurrences)
View gmail_1.csv
We can make this file beautiful and searchable if this error is corrected: No commas found in this CSV file in line 0.
passw count
123456 47817
password 11548
123456789 11133
12345 8088
qwerty 5915
12345678 5248
111111 3514
abc123 3011
123123 2971
wsargent /
Last active Mar 5, 2020
Docker cheat sheet
pete / 0-README
Last active Feb 21, 2020
Various implementations of the 'cat' command, for comparison.
I turned this gist into a "real" repository. It is here: .
Here, placed side-by-side for comparison, are GNU's implementation of
cat, Plan 9's implementation, Busybox's implementation, and NetBSD's
implementation, Seventh Edition Unix (1979), and 4.3BSD.
For good measure (and because I suppose I am now committed to collecting
cats) also included are Second Edition Unix (in assembly) and Inferno's
implementation (in Limbo) for good measure.
You can’t perform that action at this time.