#18 How to Rename Git Branch Directly on GitHub? | What Happens to Old References?