FiveYellowMice

<?php

function return_error($code, $message) {
  http_response_code($code);
  header('Content-Type: text/plain');
  echo $message."\n";
  die();
}

if (in_array($_SERVER['REQUEST_METHOD'], ['HEAD', 'GET'])) {

domenic

Redirecting GitHub Pages after a repository move

The problem

You have a repository, call it alice/repo. You would like to transfer it to the user bob, so it will become bob/repo.

However, you make heavy use of the GitHub Pages feature, so that people are often accessing https://alice.github.io/repo/. GitHub will helpfully redirect all of your repository stuff hosted on github.com after the move, but will not redirect the GitHub Pages hosted on github.io.

The solution

tuxfight3r

Bash Shortcuts

Moving

command	description
ctrl + a	Goto BEGINNING of command line