Learn more about these different git repos.
Other Git URLs
8959a7b
When address width changes on the left (due to bigger addresses), adjust the cursor position for selection accordingly