Merge remote-tracking branch 'github/master'
diff --git a/lib/sysfs.c b/lib/sysfs.c
index cd2379e..48ed6da 100644
--- a/lib/sysfs.c
+++ b/lib/sysfs.c
@@ -105,12 +105,13 @@
       return 0;
     }
   n = read(fd, buf, OBJBUFSIZE);
+  int read_errno = errno;
   close(fd);
   if (n < 0)
     {
-      warn("Error reading %s: %s", namebuf, strerror(errno));
+      warn("Error reading %s: %s", namebuf, strerror(read_errno));
       return 0;
-     }
+    }
   if (n >= OBJBUFSIZE)
     {
       warn("Value in %s too long", namebuf);
diff --git a/maint/push-to-public b/maint/push-to-public
index d1ab4f3..4ed9467 100755
--- a/maint/push-to-public
+++ b/maint/push-to-public
@@ -1,4 +1,4 @@
 #!/bin/sh
 set -e
-git push public
-git push github
+git push --tags public
+git push --tags github