search

ros-industrial / ros_industrial_issues

Repository for tracking common ROS-Industrial issuses.
3 stars 4 forks source link

Make use of 'Allow edits from maintainers' feature on PRs #43

Closed gavanderhoorn closed 6 years ago

gavanderhoorn commented 7 years ago

This is more a note-to-self, but thought it might be good to make others aware of this.

See Allowing changes to a pull request branch created from a fork.

Would make it a lot easier to assist users solving merge conflicts fi.

gavanderhoorn commented 6 years ago

Afaik Allow edits from maintainers is turned on by default for new PRs now, so no action needed on our side.