Skip to content

Update the reference submodule and fix tidy#41106

Closed
petrochenkov wants to merge 1 commit intorust-lang:masterfrom
petrochenkov:reftidy
Closed

Update the reference submodule and fix tidy#41106
petrochenkov wants to merge 1 commit intorust-lang:masterfrom
petrochenkov:reftidy

Conversation

@petrochenkov
Copy link
Copy Markdown
Contributor

@steveklabnik
Copy link
Copy Markdown
Contributor

@petrochenkov
Copy link
Copy Markdown
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
Copy Markdown
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
Copy Markdown
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