Stefan Kögl stefankoegl

## upgrade-postgres-9.3-to-9.5.md

      
              1 file
            
          
              31 forks
            
          
              35 comments
            
          
              111 stars
            
          
                johanndt
                / upgrade-postgres-9.3-to-9.5.md
            
            
              Last active
              July 15, 2022 12:35
                — forked from dideler/upgrade-postgres-9.3-to-9.4.md
            
              
                Upgrading PostgreSQL from 9.3 to 9.5 on Ubuntu
              
          
    TL;DR
Install Postgres 9.5, and then:
sudo pg_dropcluster 9.5 main --stop
sudo pg_upgradecluster 9.3 main
sudo pg_dropcluster 9.3 main

  
## pr.md

      
              1 file
            
          
              8 forks
            
          
              0 comments
            
          
              33 stars
            
          
                kennethreitz
                / pr.md
            
            
              Created
              September 12, 2012 20:56
                — forked from piscisaureus/pr.md
            
              
                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 = git@github.com:joyent/node.git

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:

  
## index.html
<!DOCTYPE html>
<html>
    <head>
        <title>Simple Stack</title>
        <script src="http://d3js.org/d3.v2.js"></script>
        <style>
            svg {
                border: solid 1px #ccc;
                font: 10px sans-serif;
                shape-rendering: crispEdges;
	<!DOCTYPE html>
	<html>
	<head>
	<title>Simple Stack</title>
	<script src="http://d3js.org/d3.v2.js"></script>
	<style>
	svg {
	border: solid 1px #ccc;
	font: 10px sans-serif;
	shape-rendering: crispEdges;