Skip to content

Instantly share code, notes, and snippets.

@lomboboo
lomboboo / gist:c78dd37f9aadc2f9ee28a538ed5ae8fc
Created March 2, 2018 16:19 — forked from lttlrck/gist:9628955
rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
@lomboboo
lomboboo / introrx.md
Created June 16, 2017 11:13 — forked from staltz/introrx.md
The introduction to Reactive Programming you've been missing
function _transliterate_to_ascii($str, $case = 0)
{
static $UTF8_LOWER_ACCENTS = NULL;
static $UTF8_UPPER_ACCENTS = NULL;
if ($case <= 0)
{
if ($UTF8_LOWER_ACCENTS === NULL)
{
$UTF8_LOWER_ACCENTS = array(
'à' => 'a', 'ô' => 'o', 'ď' => 'd', 'ḟ' => 'f', 'ë' => 'e', 'š' => 's', 'ơ' => 'o',