Skip to content

fix(scripts): prevent errors on push to docs #3485

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

Merged
merged 1 commit into from
Aug 7, 2024

Conversation

shortcuts
Copy link
Member

🧭 What and Why

🎟 JIRA Ticket: -

Changes included:

the script errors if the pull request is already opened, we can delete the branch so that it never fails

also updates the title and add a comment preview link

@shortcuts shortcuts self-assigned this Aug 6, 2024
@shortcuts shortcuts requested a review from a team as a code owner August 6, 2024 20:29
@shortcuts shortcuts requested review from morganleroi and Fluf22 August 6, 2024 20:29
@algolia-bot
Copy link
Collaborator

algolia-bot commented Aug 6, 2024

No code generated

If you believe code should've been generated, please, report the issue.

📊 Benchmark results

Benchmarks performed on the method using a mock server, the results might not reflect the real-world performance.

Language Rate
javascript 1336
php 1293
csharp 1127
java 918
ruby 879
swift 750
python 724
kotlin 482
go 452

Copy link

github-actions bot commented Aug 6, 2024

@shortcuts shortcuts enabled auto-merge (squash) August 7, 2024 08:06
Copy link
Contributor

@Fluf22 Fluf22 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🐛 🔫

@shortcuts shortcuts merged commit c702686 into main Aug 7, 2024
21 checks passed
@shortcuts shortcuts deleted the fix/push-to-docs-script branch August 7, 2024 09:36
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