Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix minor issues in documentation #392

Merged
merged 12 commits into from
Oct 15, 2021
Merged

Fix minor issues in documentation #392

merged 12 commits into from
Oct 15, 2021

Conversation

borzunov
Copy link
Member

No description provided.

@borzunov borzunov force-pushed the refer-to-discord-in-docs branch from 5b767fe to eb8e8fe Compare October 13, 2021 18:07
@borzunov borzunov force-pushed the refer-to-discord-in-docs branch from eb8e8fe to 3a0b788 Compare October 13, 2021 19:15
@borzunov borzunov force-pushed the refer-to-discord-in-docs branch from 18bdc79 to b436ced Compare October 13, 2021 21:00
@misc{hivemind,
author = {Learning@home team},
author = {Learning{@}home team},
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
author = {Learning{@}home team},
author = {Learning{@}home team},

The syntax highlighting is not okay with @ without the curly braces. This may mean that it may be displayed incorrectly IRL as well.

The {@} is displayed fine (just checked it in Overleaf).

@borzunov borzunov force-pushed the refer-to-discord-in-docs branch from 0e12947 to e376255 Compare October 13, 2021 21:15
url = {https://proceedings.neurips.cc/paper/2020/file/25ddc0f8c9d3e22e03d3076f98d83cb2-Paper.pdf},
volume = {33},
year = {2020}
author = {Ryabinin, Max and Gusev, Anton},
Copy link
Member Author

@borzunov borzunov Oct 13, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The changes here and below make bibtex formatting consistent across all 5 references.

@borzunov borzunov changed the title Refer to Discord in documentation Fix minor issues in documentation Oct 13, 2021
@codecov
Copy link

codecov bot commented Oct 13, 2021

Codecov Report

Merging #392 (9f2b397) into master (a02571e) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #392   +/-   ##
=======================================
  Coverage   83.39%   83.39%           
=======================================
  Files          71       71           
  Lines        6497     6497           
=======================================
  Hits         5418     5418           
  Misses       1079     1079           
Impacted Files Coverage Δ
hivemind/averaging/matchmaking.py 84.06% <0.00%> (ø)

README.md Outdated
To learn more about the ideas behind this library, see https://learning-at-home.github.io or read
the [NeurIPS 2020 paper](https://arxiv.org/abs/2002.04013).
To learn more about the ideas behind this library,
see the [full list](https://github.com/learning-at-home/hivemind/tree/refer-to-discord-in-docs#citation) of our papers.
Copy link
Member

@justheuristic justheuristic Oct 14, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
see the [full list](https://github.com/learning-at-home/hivemind/tree/refer-to-discord-in-docs#citation) of our papers.
see the [list](https://github.com/learning-at-home/hivemind/tree/refer-to-discord-in-docs#citation) of our papers.

[nit] i find the "full" part unnecessary and not necessarily true

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Screenshot 2021-10-14 at 20 17 21

The links to the papers above this text form some kind of a list as well :) That's why I refer the list below as the "full list".

@borzunov borzunov force-pushed the refer-to-discord-in-docs branch from e5e3d1d to 43689f8 Compare October 15, 2021 01:24
@borzunov borzunov force-pushed the refer-to-discord-in-docs branch from 43689f8 to 9f2b397 Compare October 15, 2021 01:25
@borzunov borzunov merged commit 91d1d31 into master Oct 15, 2021
@borzunov borzunov deleted the refer-to-discord-in-docs branch October 15, 2021 01:33
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.

3 participants