{% extends "default.html" %} {% block title %} Task monitor for {{ result.id }} {% endblock %} {% block breadcrumbs %}
  • Task {{ result.id }}
  • {% endblock %} {% block content %}

    Task results

    {% if result.ready() %} Done {% else %} Running... {% endif %}
    {% if result.get()[0] == "merge_simulator" %} {% if result.get()[1] %}

    Info

    {{ result.get()[1] | decode }}
    {% endif %} {% if result.get()[2] %}

    Errors

    {{ result.get()[2] | decode }}
    {% endif %} {% if result.get()[7] %}

    Cannot merge your branches

    Since we can't help you with this yet, you'll need to resolve the merge conflicts on your own computer.

    In a shell inside your repository execute:

    {% if result.get()[3] != result.get()[5] %}
    git remote add UPSTREAM {{ result.get()[3] }}
    git remote update
    git checkout {{ result.get()[6] }}
    git merge --allow-unrelated-histories UPSTREAM/{{ result.get()[4] }}

    Then fix your conflicts, merge, and finally, run:

    git remote rm UPSTREAM

    and push the changes.

    {% else %}
    git checkout {{ result.get()[6] }}
    git merge {{ result.get()[4] }}

    Resolve your conflicts and merge, then push.

    {% endif %} {% else %}

    Merge simulation went well; continue?

    Merge {% endif %} {% endif %}
    {% endblock %}