Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

Fixes the issue that the kwargs that we auto-insert intsead of hard-coding are not properly indexed and do not show up in

  • the rules-bot search
  • in the pop-up windows search in the docs

nice side-effect: we can now write the insertion as google style docstring

Should be aligned with #3952, i.e. whichever is merged second must adapt.

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Nov 4, 2023
@Bibo-Joshi Bibo-Joshi requested a review from harshil21 November 4, 2023 17:12
Copy link
Member

@harshil21 harshil21 left a comment

Choose a reason for hiding this comment

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

Perfect! I had tried this earlier but it didn't work because I missed the priority setting, TIL.

@Bibo-Joshi Bibo-Joshi merged commit 6d2334c into master Nov 5, 2023
@Bibo-Joshi Bibo-Joshi deleted the doc-improve-inserted-kwargs branch November 5, 2023 10:47
@github-actions github-actions bot locked and limited conversation to collaborators Nov 13, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⚙️ documentation affected functionality: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants