Skip to content
This repository has been archived by the owner on Mar 27, 2023. It is now read-only.

feat: delete integration_launch #537

Merged
merged 1 commit into from
Nov 7, 2022

Conversation

h-ohta
Copy link
Contributor

@h-ohta h-ohta commented Nov 7, 2022

PR Type

  • Improvement

Related Links

TIER IV INTERNAL LINK

Description

  • delete integration_launch because this is no longer used.

Review Procedure

Remarks

Pre-Review Checklist for the PR Author

PR Author should check the checkboxes below when creating the PR.

Checklist for the PR Reviewer

Reviewers should check the checkboxes below before approval.

  • Commits are properly organized and messages are according to the guideline
  • Code follows coding guidelines
  • (Optional) Unit tests have been written for new behavior
  • PR title describes the changes

Post-Review Checklist for the PR Author

PR Author should check the checkboxes below before merging.

  • All open points are addressed and tracked via issues or tickets
  • Write release notes

CI Checks

  • Build and test for PR: Required to pass before the merge.
  • Check spelling: NOT required to pass before the merge. It is up to the reviewer(s). See here if you want to add some words to the spell check dictionary.

@h-ohta h-ohta merged commit c04cc17 into tier4/universe Nov 7, 2022
@h-ohta h-ohta deleted the feat/delete_integration_launch branch November 7, 2022 08:00
tier4-autoware-public-bot bot pushed a commit that referenced this pull request Nov 15, 2022
h-ohta added a commit that referenced this pull request Nov 15, 2022
feat: delete integration_launch (#537)

(cherry picked from commit c04cc17)

Co-authored-by: Hiroki OTA <[email protected]>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants