#945 Unify tags (fixes #827)

Merged
max.mehl merged 12 commits from jzarl:issue/827 into master 3 weeks ago
jzarl commented 3 weeks ago

Sorry for the big commit - this was done by script…

Sorry for the big commit - this was done by script...
max.mehl changed title from issue/827 to WIP: Unify tags (fixes #827) 3 weeks ago
jzarl added this to the Hackathon1905 milestone 3 weeks ago
jzarl commented 3 weeks ago
Poster

I guess we can merge the work done until now. For future improvements there now is the tagtool.sh script in the tools directory, so it is easy to continue the work later on. As mentioned by @max.mehl before we parted ways, it would be a good idea to keep track of false positives/negatives for outdated translations that may be created by the merge of this pull request.

I guess we can merge the work done until now. For future improvements there now is the `tagtool.sh` script in the tools directory, so it is easy to continue the work later on. As mentioned by @max.mehl before we parted ways, it would be a good idea to keep track of false positives/negatives for outdated translations that may be created by the merge of this pull request.
jzarl changed title from WIP: Unify tags (fixes #827) to Unify tags (fixes #827) 3 weeks ago
max.mehl commented 3 weeks ago
Owner

Thank you @jzarl for this amazing work!

There are ~100 files which have been falsely outdated by this operation in comparison to the status before. I will fix this directly after merging this PR.

Thank you @jzarl for this amazing work! There are ~100 files which have been falsely outdated by this operation in comparison to the status before. I will fix this directly after merging this PR.
jzarl deleted branch issue/827 6 days ago
The pull request has been merged.
Sign in to join this conversation.
Loading…
Cancel
Save
There is no content yet.