From 666c1ec3678e83c84a2316db24c4afd9fe003f1a Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Sat, 8 Feb 2020 01:25:51 +0000 Subject: 2020-02-08T01:20:01Z --- ros-overlay.html | 36 ++++++++++++++++++++++++++++-------- 1 file changed, 28 insertions(+), 8 deletions(-) (limited to 'ros-overlay.html') diff --git a/ros-overlay.html b/ros-overlay.html index 2b50f8277ed7..d560fb182604 100644 --- a/ros-overlay.html +++ b/ros-overlay.html @@ -28,21 +28,41 @@ 9
$ pmaint sync ros-overlay
 
- 10
Already up to date.
+            10
From git://github.com/ros/ros-overlay
 
- 11
*** syncing ros-overlay
+            11
   9815452f0..1614c37ae  master     -> origin/master
 
- 12
*** synced ros-overlay
+            12
Updating 9815452f0..1614c37ae
 
- 13
 * Sync succeeded
+            13
Fast-forward
 
- 14
$ git log --format=%ci -1
+            14
 ros-kinetic/catkin/Manifest                        |  1 -
 
- 15
$ git show -q --pretty=format:%G? HEAD
+            15
 ...01-Workaround-error-issue-ros-overlay-711.patch | 27 ----------------------
 
- 16
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 ros-overlay
+            16
 ros-melodic/catkin/Manifest                        |  1 -
 
- 17
 * Cache regenerated successfully
+            17
 ...01-Workaround-error-issue-ros-overlay-711.patch | 14 -----------
+
+ 18
 4 files changed, 43 deletions(-)
+
+ 19
 delete mode 100644 ros-kinetic/catkin/files/0001-Workaround-error-issue-ros-overlay-711.patch
+
+ 20
 delete mode 100644 ros-melodic/catkin/files/0001-Workaround-error-issue-ros-overlay-711.patch
+
+ 21
*** syncing ros-overlay
+
+ 22
*** synced ros-overlay
+
+ 23
 * Sync succeeded
+
+ 24
$ git log --format=%ci -1
+
+ 25
$ git show -q --pretty=format:%G? HEAD
+
+ 26
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 ros-overlay
+
+ 27
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad