[Libosinfo] [osinfo-db PATCH] centos7: Rename from CentOS 7.0 to CentOS 7

[Fabiano Fidêncio]

CentOS, differently than RHEL, does not support pointing releases at
all. If we knew that when adding the entry in the first place, we'd
never have a centos7.0 entry.

The easiest way to work around the mistake made in the past is by adding
centos7 as short-id so OSes with a "new enough" libosinfo could just
start using it without any issues.

Together with this change, let's also change the name from CentOS 7.0 to
CentOS 7 as it's the distro preferred way to advertise the system.

Signed-off-by: Fabiano Fidêncio <fidencio at redhat.com>
---
 data/os/centos.org/centos-7.0.xml.in | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/data/os/centos.org/centos-7.0.xml.in b/data/os/centos.org/centos-7.0.xml.in
index 3617d36..c1b4e9f 100644
--- a/data/os/centos.org/centos-7.0.xml.in
+++ b/data/os/centos.org/centos-7.0.xml.in
@@ -3,8 +3,9 @@
      See http://www.gnu.org/licenses/ for a copy of the license text -->
   <os id="http://centos.org/centos/7.0">
     <short-id>centos7.0</short-id>
-    <_name>CentOS 7.0</_name>
-    <version>7.0</version>
+    <short-id>centos7</short-id>
+    <_name>CentOS 7</_name>
+    <version>7</version>
     <_vendor>CentOS</_vendor>
     <family>linux</family>
     <distro>centos</distro>
-- 
2.21.0