Update developer's guide

[dweindl]

No description provided.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74.50%. Comparing base (dbd7e04) to head (7bb49a7).

Additional details and impacted files

@@           Coverage Diff            @@
##           develop     #354   +/-   ##
========================================
  Coverage    74.50%   74.50%           
========================================
  Files           57       57           
  Lines         6002     6002           
  Branches      1039     1039           
========================================
  Hits          4472     4472           
  Misses        1133     1133           
  Partials       397      397           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[dilpath]

👍

[dilpath]

Is this from develop? Or some release_v101 like

git checkout develop
git pull
git checkout -b release_v101
git add petab/version.py doc/CHANGELOG.md
git commit -m 'bump version; update changelog'

If the latter then some more info is needed I think. "simple merge" to main, then merge main into develop.

[dweindl]

I'd leave that to the releasing person and assume some basic familiarity with git/github.