Welcome to our new portal experience - if you need any assistance or have questions, please click here.

How To Submit Feedback and Contribute Documentation Fixes

Modified on: Tue, 31 Mar, 2026 at 4:07 PM

Our documentation site allows for feedback and contributions.

 

Submitting Feedback

On any page within our documentation there will be a toolbar with a widget labeled "Page Feedback" towards the top right. This will open a prompt where you can provide feedback with an optional email address to receive any updates. 

feedback-widget-light.png

This can be used to provide any comments, questions, or issues discovered such as broken links and missing images within the documentation.

 

Making Contributions

Our documentation also allows for direct contributions to any article. Each article will contain a link to create a pull request at the bottom of the page labeled "Edit this page". The link will direct you to GitHub where you can create a new fork of the documentation repository which will allow you to make changes to a copy of the repository.

feedback_fork_repo.pngfeedback_fork_repo_create.png Once you have signed in to GitHub and forked the Device42 Documentation repository, the "Edit This Page" link from the Device42 Documentation will take you directly to the page within GitHub. From here you can edit the documentation and "Commit changes" to propose the updates.

In the Propose Changes window you can target your forked repository and click on the "Compare across forks" link:feedback_compare_across_forks.png

In the "base:" dropdown menu, select device42/device42-docs and "Create pull request":feedback_choose_base_repo.png

 

Our team will review and test your proposed changes before they are made publicly visible.

For more information about the GitHub fork and pull model, refer to the GitHub documentation. If you need more assistance, please contact us.