command | description |
---|---|
ctrl + a | Goto BEGINNING of command line |
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.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?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'])) { |