Closed boblsturm closed 6 years ago
If you add that as a commit, I'll merge the pull request.
I think I added, then committed, then pushed, and now I requested a pull.
You did everything perfectly to create the pull request. We're now improving it. So tweak the text to include 'unrolled', commit, push and this pull request will update itself. And then I hit the 'merge' button.
All a bit of a faff over a single bit of prose, but hopefully you can see the value for chunkier (and potentially more dangerous) changes, so it's a good rehearsal =]
Closed? I haven't merged it, waiting for the 'unrolled' commit.
I closed it because I made another change... but now I see that wasn't the way to do it.
I made another pull request though.
I don't see another pull request. If you just commit, push, it should appear here. But, having said that, if you have committed and it doesn't appear here... I'm not sure.
I just pushed.
How about now?
"Repeats unrolled" is fine. :)