Skip to content

Conversation

@notlistening
Copy link

Hi All,

New to using github but figured that forking and then creating a pull request was the same as having a local branch but a bit cleaner. Learning as I am going.

So here are the changes I am suggesting. I do not have translations for the other languages yet however please take a look and see what you think.

Thanks,

Tom

@ghost
Copy link

ghost commented May 29, 2019

Hi @notlistening. First, thanks for your work! To decide, if or how we can add this to wiki, you should first contact one of the core developers to discuss it (safety, bugs, legal problems...). Thank you :-)

@notlistening
Copy link
Author

notlistening commented May 29, 2019

Hi @typ1-brods I did contact @MilosKozak directly to discuss. If you can suggest any other core developers to contact and where best to contact them I'd be very happy to engage on the above subjects. I thought pull requests were a good place for these type of discussions? How do the core developers currently work?

@ghost
Copy link

ghost commented May 30, 2019

That's fine 👍

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.

1 participant