Skip to content
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

add copy-typer plugin #149

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

add copy-typer plugin #149

wants to merge 5 commits into from

Conversation

Neoniq
Copy link

@Neoniq Neoniq commented Jan 6, 2025

useful when in environment where paste is not working

@AucaCoyan
Copy link
Member

Hi! I see you forced push your PR, but it's empty now, a mistake may have happened?

If it's that case, it happened to me in the past, and learned that git reflog exists 😄

@Neoniq
Copy link
Author

Neoniq commented Jan 11, 2025

Hi! I see you forced push your PR, but it's empty now, a mistake may have happened?

If it's that case, it happened to me in the past, and learned that git reflog exists 😄

Hi, that's bot, not me I dunno what happened, didn't touch my fork since pr creation

Upd: anyway pushed one more time

@smeech
Copy link
Collaborator

smeech commented Jan 12, 2025

Sorry for the delay. We're discussing on Discord whether your snippet warrants a package!

@Neoniq
Copy link
Author

Neoniq commented Jan 12, 2025

What is this bot doing? Why it force pushed again

@AucaCoyan
Copy link
Member

AucaCoyan commented Jan 12, 2025

Mmmm idk, it shouldn't really have write access. I doubt if it's an official github bot or not.
It says "github bot", but it's developed by a user named wei.

https://github.com/apps/pull
https://github.com/wei

I don't have any code in the .github folder for this automation. I'll create an issue in that repo to ask

@Neoniq
Copy link
Author

Neoniq commented Jan 13, 2025

You're right, it was installed for me all along. Seems I added it before. Anyway uninstalled, sorry for troubling

@Neoniq
Copy link
Author

Neoniq commented Jan 13, 2025

Are you able to provide a link to discussion?

Sorry for the delay. We're discussing on Discord whether your snippet warrants a package!

@smeech
Copy link
Collaborator

smeech commented Jan 13, 2025

Are you able to provide a link to discussion?

Fairly brief: starts at https://discord.com/channels/884163483409731584/1013912238689636463/1325915697427120250, and goes onto the bot issue, but I thought you should know what's going on.

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