Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add initial source management UI #1406
a number of minor considerations that don't merit responding if you feel otherwise. straightforward, clear, and clean work! nice!