Skip to content

Instantly share code, notes, and snippets.

View gustavopinto's full-sized avatar
🌴
On vacation

Gustavo Pinto gustavopinto

🌴
On vacation
View GitHub Profile
@gousiosg
gousiosg / stackoverflow.sql
Last active July 22, 2024 11:10
Script to import the stackexchange dumps into MySQL
# Copyright (c) 2013 Georgios Gousios
# MIT-licensed
create database stackoverflow DEFAULT CHARACTER SET utf8 DEFAULT COLLATE utf8_general_ci;
use stackoverflow;
create table badges (
Id INT NOT NULL PRIMARY KEY,
UserId INT,
@jasonrudolph
jasonrudolph / 00-about-search-api-examples.md
Last active August 1, 2024 19:26
5 entertaining things you can find with the GitHub Search API
@lucascs
lucascs / .bashrc
Created June 14, 2012 00:27
Git files
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\w$(__git_ps1 "\[\033[0;31m\](%s)")\[\033[00m\]\$ '
alias branch='git br | grep "*" | sed "s/\* //"'
alias gc='git commit -v'
alias gs='git status'
alias gp='git push origin `branch`'
alias gl='git pull origin `branch`'
alias grl='git pull --rebase origin `branch`'
alias ga='git add'
alias gb='git branch'
@bjhess
bjhess / pull_request_webhook.md
Created May 18, 2012 15:58
The way I had to add a github repo webhook for pull requests

This is more complex than necessary.

GitHub webhooks for a URL by default only fire on repo pushes. There appears to be no way in the web UI to set up webhooks for other events. And so we go to the API. I prefer to do this type of thing with Hurl.

{
  "name": "web",
 "active": true,