Fix file names and tags of news and events #1490

Manually merged
max.mehl merged 5 commits from names-tags-fixes into master 2020-07-07 13:57:19 +00:00
Owner

This PR renames news and event entries that have the wrong file name format. It also takes care of updating crosslinks from other files.

Additionally, some one-time tags are removed.

This PR renames news and event entries that have the wrong file name format. It also takes care of updating crosslinks from other files. Additionally, some one-time tags are removed.
max.mehl closed this pull request 2020-07-07 13:57:19 +00:00
max.mehl deleted branch names-tags-fixes 2020-07-07 13:57:29 +00:00
Sign in to join this conversation.
No description provided.