-
Notifications
You must be signed in to change notification settings - Fork 677
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
Implement Object.property.hasOwnProperty #41
Implement Object.property.hasOwnProperty #41
Conversation
26c82fa
to
5c2e159
Compare
? ECMA_SIMPLE_VALUE_TRUE | ||
: ECMA_SIMPLE_VALUE_FALSE); | ||
} | ||
ECMA_FINALIZE (obj_val) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please, add semicolon after statement.
JerryScript-DCO-1.0-Signed-off-by: Peter Gal [email protected]
5c2e159
to
2f2e811
Compare
I've updated the pull request. |
Looks good. |
I've got a forked repository with that the make push will not work as expected. Can't I just push the Merge pull request button? |
@galpeter , please do the following on the repository:
|
Looks like the sequence could be put into some script in tools directory. |
@ruben-ayrapetyan I think this is not needed, wiki page for that would be OK. |
merged: 6c4e988 |
Using the rebase during the merge, will result a different hash, thus the after pushing the merge (well rebase in terms) the github will not detect that the given pull request was merged and the person who did the merge needs to go to the issue and close it manually (and probably enter the link to the merge hash). This is a waste of time IMHO. |
@galpeter , try to use |
@ruben, sure I can do that but I need to do it on the other (forked) repo (as this is currently a forked pull-request) and it's a huge waste of time to rebase the branch first, upload it, then go to the other repo pull down the, perform again the steps described above (hope that the upstream didn't had any new commits since then, if it did have then the rebase will change the hash) and do the make push (and again, hope that during the make push's precommit check there was no new commits in the master). |
@galpeter , |
JerryScript-DCO-1.0-Signed-off-by: Peter Gal [email protected]