Skip to content

weird github issues since ca July 15 2016 #194

@mhaberler

Description

@mhaberler

I discovered preview and production builds were broken for over a week, see also discussuion at #193

I think I patched it up, but frankly I do not understand the causality; factoids are:

  • I used ssh://machinekit-ci@github.com/machinekit-ci/machinekit-ci.github.io to pull and force-push to the HTML storage repo
  • this stopped working, I had to change the URI to use ssh://git@github.com/machinekit-ci/machinekit-ci.github.io (it uses the machinekit-ci SSH key pair though), and change the credential to use 'git' instead of 'machinekit-ci' - works now
  • the git subtree pull of the machinetalk-protobuf repo stopped working with 'Working tree has modifications' (the rsync'd asciidoc files)

changing this to

# update the machinetalk-protobuf subtree

git stash
git subtree pull --message="machinetalk-protobuf subtree merge" --prefix machinetalk-protobuf machinetalk-protobuf master --squash
git stash pop

fixed it for now (both here and here)

very weird

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions