Skip to content

Instantly share code, notes, and snippets.

View kronn's full-sized avatar

Matthias Viehweger kronn

View GitHub Profile
#!/usr/bin/env bash
# An own database for every branch
#
# 1) put this script somewhere, make it executable (chmod +x)
# 2) modify your database.yml:
# development:
# adapter: postgresql
# database: "<%= `path/to/stored_script` %>"
# 3) If you want a separate db for your branch, follow the instructions on STDERR on environment startup
@kronn
kronn / fetch_facts.sh
Last active December 15, 2015 20:40 — forked from niklas/fetch_facts.sh
#!/bin/bash
ssh_host=$1
host_name=${2:-$ssh_host}
puppet_version="2.7.1"
if [ -z "$ssh_host" ]; then
echo "please provide hostname for node to fetch facts from"
exit
fi
@kronn
kronn / my-gh-issues.rb
Created May 9, 2011 06:28 — forked from copiousfreetime/my-gh-issues.rb
My Github Issues
#!/usr/bin/env ruby
#
# A quick script to dump an overview of all the open issues in all my github projects
#
require 'octokit'
require 'awesome_print'
require 'rainbow'

10 Ways to improve Github Issues

I love the new GitHub issues, here are some ideas to make it perfect, ordered by priority:

1. I should be able to pick the assignee and milestone via keyboard when creating a new ticket

2. Keyboard shortcuts should work everywhere. E.g. when viewing an existing issue, 'c' does not work.

3. After creating an issue, the assigned user / milestone should be remembered and pre-filled.

4. Allow assigning a different user while commenting. Right now this deletes my half-typed comment.

5. When typing the @ symbol to mention somebody, it should auto-complete the name.

6. Things feel a little sluggish right now, any speed improvements would be very welcome.