Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update GitHub Issue and PR templates #29

Merged
merged 1 commit into from
Nov 23, 2023
Merged

Conversation

jaagut
Copy link
Member

@jaagut jaagut commented Nov 23, 2023

Summary

Updates issue and PR templates to https://github.com/bit-bots/bitbots_template_repository

Proposed changes

Fixes a few typos
Replace catkin with colcon
Restructure and improve wording

Related issues

This typo was mentioned in #55.

Checklist

  • Run colcon build
  • Write documentation
  • Create issues for future work
  • Test on your machine
  • Test on the robot
  • This PR is on our Software project board

@jaagut jaagut requested a review from Flova November 23, 2023 15:45
@Flova Flova merged commit 1c456b4 into master Nov 23, 2023
1 check passed
@Flova Flova deleted the update/github_issue_templates branch November 23, 2023 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants