-
Notifications
You must be signed in to change notification settings - Fork 287
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore: 🤖 prompt users for internet archive URL #1009
chore: 🤖 prompt users for internet archive URL #1009
Conversation
Thanks for opening this pull request! |
ef59d0b
to
877792d
Compare
This looks great, and it's a great place to begin. 🎉 I think the dist file may have been added by accident? Shall we keep this PR as just the HTML file? |
Thank you! So, here's the thing. When I saw the dist file as part of my changes in my code editor, I was a bit puzzled because I believed that the contents of the But then I checked the Leaflet.DistortableImage/.gitignore Lines 8 to 10 in d6a9098
And even the pre-commit hook adds it as part of the files to be committed: Leaflet.DistortableImage/package.json Lines 87 to 93 in d6a9098
So I'm a bit confused. Are these errors/oversights? Or am I missing something? |
Update: If both dist files are truly meant to be tracked, then in what instances should you actually let them be included in your commit or PR? |
Yes, we track dist files because we want them included in our npm package for direct inclusion in a web page, so users of our libraries don't have to run an extra "build" step before using them, and so we can guarantee we've tested the built dist file and it works. Not all projects do that, but maybe more should? But i see pros and cons 😄 Here, I meant, since you haven't made any changes to the src folder, and no npm modules have updated, there shouldn't be a new dist file generated. However, there may be an exception because we've merged a number of Dependabot PRs, which have updated our node modules, some of which are built/baked into our dist files. So maybe that's what's happening? Regardless, since your project doesn't directly deal with those changes, I think it's simpler to not include the dist files since they aren't caused by anything you did. But if this is a simple PR we'll close quickly, and the code seems to work (in the existing examples), maybe it's just OK and we can include the dist files, since occasionally we do need to update our dist files with all the updated npm modules we've merged in. Usually this would just happen when there are more regular JS updates to the src folder, and recent npm modules would just get swept up with those. But we haven't changed much in src recently. Maybe a longer term idea would be to try to figure out a script to regenerate the dist files for each dependabot PR. But it sounds complicated! 😅 So, your call - we can merge this if you're pretty sure these are just changes from dependabot updates, or we can exclude the dist files. Thanks for checking!!! |
877792d
to
5b3da57
Compare
Thanks for the detailed explanation, Jeff! It's way more clear to me now. And nope, I'm not 100% sure the changes are from dependabot 😅, so I've gone ahead to exclude the file from the PR. |
I would love to push the popup modal we talked about to this PR as well before we merge it. Thank you 😄! |
OK excellent, let's wait on the modal then. Let me know! |
Hi @jywarren! The pop-up modal is ready, and I've pushed the latest changes. Here's a brief snippet of how it looks like: pop-up-modal.mp4 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Look great! I added your permissions too. Thank you!!! ✨✨✨
Congrats on merging your first pull request! 🙌🎉⚡️ |
Thank you!!! I have now been able to create an issue for this from the list and link both together. However, the PR title and the consequent merge commit message on the Was wondering (if it's not too much trouble) if you could help amend the message to match with the PR's title? I saw a Stack Overflow post on how to do this (https://stackoverflow.com/questions/7279196/git-how-to-edit-reword-a-merge-commits-message) but since it's the |
I'll try resolving this today! Should be simple since no other commits have
been made and there are few or no other active contributors right now,
otherwise we'd have to warn people who might've pulled the latest commit.
…On Tue, Aug 16, 2022, 11:49 AM Peculiar Erhisohwode < ***@***.***> wrote:
Thank you!!! I have now been able to create an issue for this from the
list and link both together.
However, the PR title and the consequent merge commit message on the main
branch don't reflect what the commit actually does. I've changed the title
but since the merge has happened already, the commit message still remains
the same.
Was wondering (if it's not too much trouble) if you could help amend the
message to match with the PR's title? I saw a step-by-step tutorial in
Github to do this (https://archive.org/details/texas-barnraising/) but
since it's the main branch, I can't do it myself.
—
Reply to this email directly, view it on GitHub
<#1009 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAAF6J6RK47D7A5HAN6UUJLVZOZ7RANCNFSM56F5X7FA>
.
You are receiving this because you modified the open/close state.Message
ID: ***@***.***>
|
OK, done! Yeah, typically this can cause quite a bit of disruption if there are other users pulling regularly, but here it seems OK. I had to unlock the protection rules for a moment to do it, it wouldn't even allow me! |
Fixes #1011
Make sure these boxes are checked before your pull request (PR) is ready to be reviewed and merged. Thanks!
grunt test