Skip to content

Conversation

@apt1002
Copy link
Collaborator

@apt1002 apt1002 commented May 1, 2025

No description provided.

@apt1002 apt1002 force-pushed the issue23-filename branch from ab78127 to 9224b2a Compare May 1, 2025 18:56
@rrthomas
Copy link
Owner

rrthomas commented May 2, 2025

Great! Documentation in README and presumably there's a use for this in the Cookbook?

@apt1002 apt1002 force-pushed the issue23-filename branch 2 times, most recently from b886332 to d3f9649 Compare May 3, 2025 12:34
@rrthomas
Copy link
Owner

rrthomas commented May 3, 2025

Please can you rebase this PR, @apt1002 ? And check the setting here (I tried to rebase the PR but couldn't and suspect it's because you haven't allowed it): https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/configuring-commit-rebasing-for-pull-requests

@apt1002 apt1002 force-pushed the issue23-filename branch from d3f9649 to 16d15a0 Compare May 4, 2025 03:21
@apt1002
Copy link
Collaborator Author

apt1002 commented May 4, 2025

I think the reason rebasing wasn't working is that I based this pull request off another. I've now rebased it on main.

@apt1002 apt1002 force-pushed the issue23-filename branch 3 times, most recently from 8542cec to 74f1f29 Compare May 4, 2025 08:30
@rrthomas rrthomas force-pushed the issue23-filename branch from 74f1f29 to 6709ce2 Compare May 4, 2025 12:03
@apt1002 apt1002 force-pushed the issue23-filename branch from 6709ce2 to 44ce020 Compare May 4, 2025 12:21
@rrthomas rrthomas merged commit f954580 into main May 4, 2025
4 checks passed
@apt1002 apt1002 deleted the issue23-filename branch May 4, 2025 12:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants