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

Add po/*.po~ to gitignore #3088

Closed
wants to merge 1 commit into from
Closed

Add po/*.po~ to gitignore #3088

wants to merge 1 commit into from

Conversation

Davidy22
Copy link
Contributor

@Davidy22 Davidy22 commented Jan 8, 2022

After recent progress update messages in other pull requests I checked out the shiny latest to make sure all is still well and ready to pave the way for the one pr I have that depends on it, and after building I found a bunch of junk in the git status. Added a line to gitignore to hide the compile time generated junk.

Hide some compile time junk from git
@eht16
Copy link
Member

eht16 commented Jan 8, 2022

This would only hide the real cause without fixing it.
The problem is already reported in #3077.

@eht16 eht16 closed this Jan 8, 2022
@Davidy22
Copy link
Contributor Author

Davidy22 commented Jan 8, 2022

oh, missed that, well nice to see it looks like we have an idea of a fix in there

@Davidy22 Davidy22 deleted the gitignore branch January 8, 2022 15:21
@kugel-
Copy link
Member

kugel- commented Jan 8, 2022

I think we might still need this.

@Davidy22 Davidy22 restored the gitignore branch January 9, 2022 03:07
@Davidy22
Copy link
Contributor Author

Davidy22 commented Jan 9, 2022

Well I'll undelete my branch then, if you want it you can reopen and merge

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.

None yet

3 participants