Skip to content

Update .gitignore and logging configuration #17

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

Merged
merged 1 commit into from
Oct 24, 2024
Merged

Conversation

jaagut
Copy link
Member

@jaagut jaagut commented Oct 24, 2024

Summary

Add logs/ to .gitignore
Fix default logging directory

Proposed changes

Related issues

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 self-assigned this Oct 24, 2024
@jaagut jaagut requested review from texhnolyze and Flova October 24, 2024 16:30
@jaagut jaagut merged commit 58d4465 into main Oct 24, 2024
1 of 2 checks passed
@jaagut jaagut deleted the fix/logging_dir branch October 24, 2024 17:25
Flova pushed a commit that referenced this pull request Apr 21, 2025
Update .gitignore and logging configuration
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants