Replies: 8 comments 2 replies
-
Any developer can make a 'pull request', only you are able to do the merge, if there is an impossibility in the code to execute a change, git will tell you. And yes, you can port your work to any branch. |
Beta Was this translation helpful? Give feedback.
-
I didn't notice the latest pull request was to MASTER. Revert was succesfull. But pull request is closed now... |
Beta Was this translation helpful? Give feedback.
-
huummm why you had this master merge .... my first was me-7.0-dev tu home-7.0-dev... I have to take care of that. |
Beta Was this translation helpful? Give feedback.
-
I'm reading manuals how to reopen the pull request. The reopen button is missing. |
Beta Was this translation helpful? Give feedback.
-
I probably have to restore the master to the exact status before this merge. Then the re-open option could be visible. The latest changes were done at the GitHub website, before that I was using my Raspberry Pi, using github CLI. |
Beta Was this translation helpful? Give feedback.
-
https://cli.github.com/manual/gh_pr_reopen Oow. It must be installed... |
Beta Was this translation helpful? Give feedback.
-
Ok, I give up. It's almost impossible to reopen a merged pull request. |
Beta Was this translation helpful? Give feedback.
-
Remark: I have to merge all my changes in these files: Other files can be changed without problems. I do have a problem: almost every line in these files is changed! Then it easier to use the merge programs. |
Beta Was this translation helpful? Give feedback.
-
Hi Barcha,
I'm not used to working together in GitHub. Still learning...
Is it ok if I also do some merges into dev7? I don't want to interrupt your updates, I really appreciate them!
Oh, and if you like it do enter your name in the credits!
Beta Was this translation helpful? Give feedback.
All reactions