-
Notifications
You must be signed in to change notification settings - Fork 984
Closed
Description
Dear @davetcoleman and @v4hn,
cc: @vmayoral
looks like yesterday evening I accidentally pushed my local working HEAD to the ros-planning remote instead of my own fork, thus unintentionally merging several open PRs. I apologize for this mistake.
I see the following options to fix the problem:
- Reset melodic-devel to its last valid commit: 4782c5a (cleanest solution).
- Accept the changes and apply necessary fixes on top of them. Currently catkin_lint check is broken due to a pending release (remove catkin_lint suppressions #1343 (comment)).
This also requires a similar handling of the MoveIt2 fork before any other PRs are merged.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels