[copyleft-next] Pull requests on GitHub