From 29c6eaa8b57e71b573e85aa24a617fd640d23681 Mon Sep 17 00:00:00 2001
From: Fabien Benureau <fabien.benureau+git@gmail.com>
Date: Thu, 3 Dec 2015 09:47:38 +0100
Subject: [PATCH] Fix obsolete repo version

This fix is temporary. A better long-term solution should be found, and a less
intrusive update strategy devised.
---
 pubs/pubs_cmd.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pubs/pubs_cmd.py b/pubs/pubs_cmd.py
index 3a9ff8b..b254682 100644
--- a/pubs/pubs_cmd.py
+++ b/pubs/pubs_cmd.py
@@ -33,8 +33,8 @@ CORE_CMDS = collections.OrderedDict([
 
 def _update_check(config, ui):
     if config.version_warning:
-        code_version = int(__version__)
-        repo_version = int(config.version)
+        code_version = __version__.split('.')
+        repo_version = ('0.{}.0'.format(config.version)).split('.') # FIXME
 
         if repo_version > code_version:
             ui.warning(