Skip to content

Conversation

hallard
Copy link
Contributor

@hallard hallard commented Jul 21, 2021

replace #13

@jeromecoutant
Copy link
Contributor

jeromecoutant commented Jul 21, 2021

If you have pushed this commit into your E5_DevBoard branch, it would be the same....

@hallard
Copy link
Contributor Author

hallard commented Jul 21, 2021

If you have pushed this commit into your E5_DevBoard branch, it would be the same....

but it would not have been cleaned not?

I created new branch from master (so clean and updated) and put the modified files from E5_DevBoard so you're right the content is the same but clean, thought you wanted clean one. The deal is that I can't do anything to go back with commits already pushed like E5_DevBoard, just can add commit (added automatic to opened PR). To be honest I'm lost in what you want me to do and how to do once commit are pushed and on a PR. Sorry about that.

@jeromecoutant
Copy link
Contributor

but it would not have been cleaned not?

Yes, with "-f" option: git push HEAD -f

@hallard
Copy link
Contributor Author

hallard commented Jul 21, 2021

but it would not have been cleaned not?

Yes, with "-f" option: git push HEAD -f

Ok got it, I'm using GUI client, looks. like don't have all the option, that's why

@jeromecoutant jeromecoutant merged commit 1c2eb08 into ARMmbed:master Jul 21, 2021
@jeromecoutant jeromecoutant mentioned this pull request Jul 21, 2021
@hallard hallard deleted the E5_DevBoard_Clean branch July 21, 2021 16:47
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.

2 participants