ILIAS
ILIAS copied to clipboard
Update headlines.md fixed typo issues
Hi @acgruber may I assign this to you? The changes should be done in other branches (especially release_9 and trunk) as well.
Hi @acgruber ,
this PR has been lying around for quite a while. Was it okay to assign the pull request to you?
Thanks and best, @mjansenDatabay
Hi @mjansenDatabay,
Please excuse me somehow missing this notification. I will look into it asap. Thanks for the reminder!
Cheers @acgruber
Hi @mjansenDatabay & @chfsx , This PR is ready to merge. Before I proceed: Is there a way to simultaneously add the changes to 9 and trunk or do I have to go for two additional PRs? Thanks and cheers!
@acgruber
Is there a way to simultaneously add the changes to 9 and trunk or do I have to go for two additional PRs?
Usually the maintainer is responsible to integrate the changes into the other release branches. AFAIK you don't have the permission to push to our repositories, right?
IMO we have two options: Option 1) You create new PRs for the other release branches. Option 2) Soneone cherry-picks the changes to the other release branches and pushes the commit without creation new PRs. I could do this for you.
Thanks for the feedback, @mjansenDatabay! Let's go for option 2 then :) And should I merge this PR now or would you prefer to do this as well?
@acgruber Yes, please merge the PR. I pick the commit to the other branches afterwards.
Thanks to @SaiAryan1784 for the improvement. Merged to Release_8. Will be cherry-picked to other branches as well.
Picked!