summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-07-08 09:05:09 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-07-08 09:05:09 +0000
commit0de851fab90f47b73974f6435b7ebf9a81bfb069 (patch)
treebe0ad61641f1724dde3708612497808548bf5e81 /robert7k.txt
parent2020-07-08T08:30:01Z (diff)
downloadrepos-0de851fab90f47b73974f6435b7ebf9a81bfb069.tar.gz
repos-0de851fab90f47b73974f6435b7ebf9a81bfb069.tar.bz2
repos-0de851fab90f47b73974f6435b7ebf9a81bfb069.zip
2020-07-08T09:00:01Z
Diffstat (limited to 'robert7k.txt')
-rw-r--r--robert7k.txt9
1 files changed, 8 insertions, 1 deletions
diff --git a/robert7k.txt b/robert7k.txt
index 12d2bab7af18..e50a9377087d 100644
--- a/robert7k.txt
+++ b/robert7k.txt
@@ -8,7 +8,14 @@
'uri': 'https://github.com/robert7k/gentoo-overlay.git'}],
'status': 'unofficial'}
$ pmaint sync robert7k
-Already up to date.
+From https://github.com/robert7k/gentoo-overlay
+ cb32497..9ed8931 master -> origin/master
+Updating cb32497..9ed8931
+Fast-forward
+ dev-util/idea/Manifest | 4 ++--
+ ...a-2020.1.2.201.7846.76.ebuild => idea-2020.1.3.201.8538.31.ebuild} | 0
+ 2 files changed, 2 insertions(+), 2 deletions(-)
+ rename dev-util/idea/{idea-2020.1.2.201.7846.76.ebuild => idea-2020.1.3.201.8538.31.ebuild} (100%)
*** syncing robert7k
*** synced robert7k
* Sync succeeded