Git push error: How can I contribute to the repository on Github?

DeepSpeech
#1

Hey fellow developers,

I have added a couple of useful featureo to the examples/mic_vad_streaming (to specify device input rate, e.g.)
How may I push a branch and make a merge/pull request on github to contribute?

$ git push --set-upstream origin feature/examples_mic_vad_streaming_input_rate
Username for ‘https://github.com’: jorxster
Password for ‘https://jorxster@github.com’: …
remote: Permission to mozilla/DeepSpeech.git denied to jorxster.
fatal: unable to access ‘https://github.com/mozilla/DeepSpeech/’: The requested URL returned error: 403

cheers,
Jordan

#2

Do a fork, push to it, open a PR.

#3

GitHub has a desktop Git client that may make this process easier for you.

#4

Thank you @lissyx, @dabinat,
My solution was to fork it.
Perhaps a very noob question, despite working with Git for 10 years, I have never worked with github or had to “fork” a repository.

Thank you, pushing my contributions now!
cheers,
Jordan