.. _developer_pull_requests:

=================================
Pull requests: how to manage them
=================================

CONTENT STILL HAS TO BE ADDED...