Learn more about these different git repos.
Other Git URLs
817c90a
Fix indentation and reorganize the links in the user's menu - Fix the indentation (2 spaces for html) which helps seeing the if/else/ endif in the code - Move the `My Issues` and the `My Pull Requests` links into the user's menu