2 ms·

Note that I didn't actually call my own github_update.php, and there's no reason for anyone else to — call it whatever you'd like.