mirror of
https://github.com/openmc-dev/openmc.git
synced 2026-07-28 06:05:58 -04:00
Updated two references in devguide.
This commit is contained in:
parent
fca5541a51
commit
00c5276125
2 changed files with 3 additions and 3 deletions
|
|
@ -1,4 +1,4 @@
|
|||
.. _styleguide:
|
||||
.. _devguide_styleguide:
|
||||
|
||||
======================
|
||||
Style Guide for OpenMC
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
.. _workflow:
|
||||
.. _devguide_workflow:
|
||||
|
||||
====================
|
||||
Development Workflow
|
||||
|
|
@ -21,7 +21,7 @@ not be merged back, those changes should be on another branch.
|
|||
3. Issue a pull request from GitHub and select the branch you want merged.
|
||||
|
||||
4. The OpenMC integration manager will review your pull request and make sure it
|
||||
conforms to the :ref:`styleguide`, compiles correctly, runs in parallel
|
||||
conforms to the :ref:`devguide_styleguide`, compiles correctly, runs in parallel
|
||||
correctly, does not break other features in the code, etc. Any issues with the
|
||||
pull request can be discussed directly on the pull request page itself.
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue