Unify tags (fixes #827) #945

Merged
max.mehl merged 12 commits from jzarl/fsfe-website:issue/827 into master 2019-05-27 11:44:30 +00:00
Member

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) 2019-05-25 17:03:01 +00:00
jzarl added this to the Hackathon1905 milestone 2019-05-26 15:12:49 +00:00
Author
Member

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) 2019-05-26 15:18:39 +00:00
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.
max.mehl closed this pull request 2019-05-27 11:44:30 +00:00
max.mehl added a new dependency 2019-05-27 12:10:08 +00:00
max.mehl removed a dependency 2019-05-27 12:10:49 +00:00
jzarl deleted branch issue/827 2019-06-12 20:21:10 +00:00
Sign in to join this conversation.
No description provided.