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

example tts add param tts_rule_fsts #31

Merged
merged 3 commits into from
Oct 21, 2024

Conversation

ghjdegithub
Copy link
Contributor

No description provided.

@thewh1teagle
Copy link
Owner

@ghjdegithub

Please enable the option to allow edit the pull request.

@ghjdegithub
Copy link
Contributor Author

@ghjdegithub

Please enable the option to allow edit the pull request.

image It's always on.

@thewh1teagle
Copy link
Owner

@ghjdegithub

sherpa-rs git:(ghjdegithub/main) git push                                                
Enumerating objects: 7, done.
Counting objects: 100% (7/7), done.
Delta compression using up to 8 threads
Compressing objects: 100% (4/4), done.
Writing objects: 100% (4/4), 1023 bytes | 1023.00 KiB/s, done.
Total 4 (delta 3), reused 0 (delta 0), pack-reused 0
remote: Resolving deltas: 100% (3/3), completed with 3 local objects.
To https://github.com/ghjdegithub/sherpa-rs.git
 ! [remote rejected] ghjdegithub/main -> ghjdegithub/main (permission denied)
error: failed to push some refs to 'https://github.com/ghjdegithub/sherpa-rs.git'

I can't push to it. It works in other pull requests / repositories the same way.

@ghjdegithub
Copy link
Contributor Author

@thewh1teagle
Copy link
Owner

@ghjdegithub

I think I understand why I can't push to this PR/your branch. It seems the PR was created from your main branch, which is protected. In the future, it might be better to create PRs from a separate branch instead of the main branch.

@ghjdegithub
Copy link
Contributor Author

@ghjdegithub

I think I understand why I can't push to this PR/your branch. It seems the PR was created from your main branch, which is protected. In the future, it might be better to create PRs from a separate branch instead of the main branch.

Consider creating a dev branch

@thewh1teagle
Copy link
Owner

Looks good now. Thanks!

@thewh1teagle thewh1teagle merged commit 6f97b94 into thewh1teagle:main Oct 21, 2024
4 checks passed
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.

2 participants