diff options
Diffstat (limited to 'jkolo.html')
| -rw-r--r-- | jkolo.html | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/jkolo.html b/jkolo.html index 6ca98e692da2..1427cdc1c382 100644 --- a/jkolo.html +++ b/jkolo.html @@ -42,12 +42,18 @@ </pre></td></tr> <tr class="" id="l16"><td><a href="#l16"><span>16</span></a></td><td><pre>Cloning into '/var/lib/repo-mirror-ci/sync/jkolo'... </pre></td></tr> - <tr class="" id="l17"><td><a href="#l17"><span>17</span></a></td><td><pre>fatal: unable to access 'https://git.kolosowscy.pl/jurek/gentoo-overlay.git/': Couldn't resolve host 'git.kolosowscy.pl' + <tr class="" id="l17"><td><a href="#l17"><span>17</span></a></td><td><pre>*** synced jkolo </pre></td></tr> - <tr class="" id="l18"><td><a href="#l18"><span>18</span></a></td><td><pre>!!! failed syncing jkolo + <tr class="" id="l18"><td><a href="#l18"><span>18</span></a></td><td><pre> * Sync succeeded +</pre></td></tr> + <tr class="" id="l19"><td><a href="#l19"><span>19</span></a></td><td><pre>$ git log --format=%ci -1 +</pre></td></tr> + <tr class="" id="l20"><td><a href="#l20"><span>20</span></a></td><td><pre>$ git show -q --pretty=format:%G? HEAD +</pre></td></tr> + <tr class="" id="l21"><td><a href="#l21"><span>21</span></a></td><td><pre>$ pmaint regen --use-local-desc --pkg-desc-index -t 32 jkolo +</pre></td></tr> + <tr class="" id="l22"><td><a href="#l22"><span>22</span></a></td><td><pre> * Cache regenerated successfully </pre></td></tr> - <tr class="err" id="l19"><td><a href="#l19"><span>19</span></a></td><td><pre> * Sync failed with 1 -</pre></td><td>[FATAL]</td></tr> </table> </body> |