Alex, you wrote in pull request #302:
"I mean, for this minor change I'd like to merge a single change. Look at the recent merges (10 commits for a tiny change, sometimes going back and forth). Would make things easier when looking back in history."
There is a little thing, I don´t understand:
I have a bitbucket-repo with a fork of magiclantern. I clone this repo to my harddisk to test some magiclantern-stuff. Now I find something beeing worth to be changed. I change this on the harddisk, compile and test it. Then I sync my repo with magiclantern-repo. Done this, I commit the change on my hd and push it to my repo. Then I create a pull request to magiclantern.
In this tiny change, you talked about, there is only one file changed, the file, I did a pull-request for. Both repos were synced before this pull request. But there are 10 commits, which are merged. I don´t understand, why this 10 commits are merged and not only my pull request.
If I want to create a pull request to magiclantern, have I to delete my repo first and then create a new one before doing this pull-request to prevent these 10 commits.
Feel free to give me an advice.
Edgar