Commit

Once you do that, the follow status of /dev/null.sh seems to use GitHub's as its initial value, but is this fully synchronized? Or is it just being adopted as an initial value? (Somehow, syncing each and every one seems like a lot of trouble, so I got the impression that it's…