search

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
ISC License
186 stars 68 forks source link

"master" and "pathogen-bundle" are unrelated branches, breaking Plug #73

Open josephjunker opened 6 years ago

josephjunker commented 6 years ago

I use Plug for plugin management, which assumes that master is the default branch of a project. It appears that the default branch for this repo is pathogen-bundle. As a result, when installing with Plug, I got an old version of the code. Worse, I fixed this issue in the code I had checked out (in the master branch), but cannot merge this back into the pathogen-bundle branch, because the two branches share no branch history. Would it be possible to replace the contents of the master branch with the contents of pathogen-bundle, to avoid breaking alternative plugin managers and befuddling potential contributors?

Hithroc commented 6 years ago

You can set the branch you want to use with Plug. Not ideal, but gets around the issue.

Plug 'the-lambda-church/coquille', { 'branch': 'pathogen-bundle' }