Skip to content

Conversation

petrochenkov
Copy link
Contributor

@steveklabnik
Copy link
Contributor

@petrochenkov
Copy link
Contributor Author

petrochenkov commented Apr 6, 2017

There are broken links in the reference and the link checker fails.
If the reference submodule in this repo cannot be updated in arbitrary moment, it means it's not tested/gated properly on PR merge.

@steveklabnik
Copy link
Contributor

If the reference submodule in this repo cannot be updated in arbitrary moment, it means it's not tested/gated properly on PR merge.

It's not possible to do so without pulling in the entirety of the rust distribution.

You'll have to send a PR to the reference first to update it.

@petrochenkov
Copy link
Contributor Author

It's faster to override local git config.

@petrochenkov petrochenkov deleted the reftidy branch August 26, 2017 00:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants