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

Add PonyLang mode in Extra langs #5462

Closed
wants to merge 1 commit into from
Closed

Add PonyLang mode in Extra langs #5462

wants to merge 1 commit into from

Conversation

rajatvig
Copy link

This adds support for the Pony Language http://www.ponylang.org/

@robbyoconnor
Copy link
Contributor

You may wanna close this and resubmit it against a topic branch

@rajatvig
Copy link
Author

@robbyoconnor which branch do I resubmit it against? Any document I can look at?

@robbyoconnor
Copy link
Contributor

You just make a new branch and do it against develop, this is quite clear (at least I think it is)..to be clear I meant that you should use a topic branch. Because anything you push to this branch will be reflected in this PR ;) Which means until this is merged, you're stuck at an older version....and if you wanan contribute another PR...you'll need to use a topic branch AND remove a commit via an interactive rebase ;)

@rajatvig
Copy link
Author

@robbyoconnor I get what you're saying. For the next PR, I'll use a topic branch to avoid getting stuck.

@TheBB
Copy link
Contributor

TheBB commented Jun 19, 2017

Thanks, but #5663 seems much more complete so I will roll with that.

@TheBB TheBB closed this Jun 19, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants