found bug -- how to create a branch and pull request?

[bayesfactor]

There is a bug with the use of Optional in:

whisper/whisper/utils.py

Line 104 in 248b6cb

raw_max_line_width: Optional[int] = options["max_line_width"]

The fix is easy, how can I create a branch and a PR? I fixed it in my own fork but I don't have permissions to open an issue or create a branch in this repo. Here is the patch:
bayesfactor@34a6edb

[phineas-pta]

https://letmegooglethat.com/?q=how+to+create+github+pr

also better use options.get("......") instead of options["...."] if .....

[glangford]

https://stackoverflow.com/questions/6130768/return-a-default-value-if-a-dictionary-key-is-not-available

[bayesfactor]

options.get("...") is the right approach, good suggestion. I know how to create a branch & PR in other repos; I don't have permission to open an issue or create a branch in this repo.

[phineas-pta]

of course u cannot create a branch in a repo not owned by u, but no one can stop u from creating PR, did u really read any tutorials ? like the github docs below ?

[NielsMayer]

https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/creating-a-pull-request-from-a-fork
https://opensource.com/article/19/7/create-pull-request-github

[bayesfactor]

The opensource link is a dead link. I should have clarified -- I know how to create a fork and pull request, but I cannot in this repo -- I suspect I don't have permission?

[NielsMayer]

an extra "1" got appended to the URL by accident.... correct URL is
https://opensource.com/article/19/7/create-pull-request-github

Find a project you want to contribute to
Fork it
Clone it to your local system
Make a new branch
Make your changes
Push it back to your repo
Click the Compare & pull request button
Click Create pull request to open a new pull request

[bayesfactor]

ok, here is a PR: #1476

[phineas-pta]

options.get("highlight_words", False)