I hereby claim:
- I am drarok on github.
- I am drarok (https://keybase.io/drarok) on keybase.
- I have a public key ASBCSGkFPrCDqU8IlNfmzDuicESYg_cmT0G1ymIm9rbmAAo
To claim this, I am signing this object:
| (• ◡•)|/ \(❍ᴥ❍ʋ) Adventure Time! |
<?php | |
$dsn = 'mysql:host=trolololol;dbname=WOOT!'; | |
$username = 'yeah'; | |
$password = 'MMMMM hmm'; | |
$pdo = new PDO($dsn, $username, $password); | |
$sql = 'SELECT `date`, SUM(`Commited`) AS committedSum FROM StorageUsedByVm GROUP BY `date`'; | |
$stmt = $pdo->query($sql); |
#!/bin/bash | |
# Convert 'http://github.com/user/repo' remotes to 'git://github.coim/user/repo'. | |
for GIT_DIR in $(find . -type d -name '.git'); do | |
export GIT_DIR | |
CURRENT_URL=$(git config --get remote.origin.url); | |
NEW_URL=$(echo $CURRENT_URL | sed 's/^http:/git:/'); | |
NEW_URL=$(echo $NEW_URL | sed 's/^https:/git:/'); | |
if [ "$CURRENT_URL" != "$NEW_URL" ]; then |
#!/bin/bash | |
# PR been merged on github? This will checkout $1 || develop, git pull, and then delete the branch you were on. | |
# Thanks http://stackoverflow.com/a/1593487/328817 | |
branch_name="$(git symbolic-ref HEAD 2>/dev/null)" || branch_name="(unnamed branch)"; # detached HEAD | |
branch_name=${branch_name##refs/heads/}; | |
if [ "$branch_name" = "develop" ] || [ "$branch_name" = "master" ] | |
then |
I hereby claim:
To claim this, I am signing this object:
{ | |
"see": "this is still accessible" | |
} |