Skip to content

Log Image ids#237

Open
EricPedley wants to merge 12 commits intomainfrom
eric/image-logging-ids
Open

Log Image ids#237
EricPedley wants to merge 12 commits intomainfrom
eric/image-logging-ids

Conversation

@EricPedley
Copy link
Member

Description

This supercedes #235 and makes logging even cleaner. I forgot to open the PR this morning so it didn't get tested at OCMA.

@AidenFavish
Copy link
Contributor

I feel like its always risky merging stuff in when the first time it will be tested will literally be competition. What do we gain from this PR thats worth the risk?

@EricPedley
Copy link
Member Author

It cleans up our logs, so you're right it doesn't really help us for competition. I guess you could leave this open until after then merge it in to have it in place when you copy stuff to next year's repo

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants