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
include export source in branchname #9
if #8 is fixed to create a new independent branch, this would allow multiple exports to live in the same repo. since git is capable of handling that, it would be quite convenient. to help distinguish the branchen, we would then need more descriptive names:
should create the branch
What we need here is a descriptive branch name. Tag would identify a specific commit with a special label, where as a typical use of notes is to supplement a commit message without changing the commit itself. Notes can be shown by git log along with the original commit message.