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

Support 'make push' for non-master branches #75

Merged
merged 1 commit into from
May 18, 2015

Conversation

ruben-ayrapetyan
Copy link
Contributor

No description provided.

@ruben-ayrapetyan ruben-ayrapetyan added enhancement An improvement normal infrastructure Related to GH Actions or the tested targets labels May 15, 2015
JerryScript-DCO-1.0-Signed-off-by: Ruben Ayrapetyan [email protected]
@ruben-ayrapetyan ruben-ayrapetyan force-pushed the Ruben-make-push-support-branches branch from 1af9d6f to ecbc285 Compare May 15, 2015 17:55
@egavrin
Copy link
Contributor

egavrin commented May 18, 2015

make push

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement An improvement infrastructure Related to GH Actions or the tested targets normal
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants