Co-authored-by: Hobbestigrou hobbestigrou@erakis.eu
This could make more sense if you move this commit to whichever merge request introduces the Pipfile (that is, whichever merge request makes changes that would generate a Pipfile).
Which changes? No merge requests introduce Pipfile... This merge request is only to be more user friendly for your contributors.
Which changes? No merge requests introduce Pipfile...
Then I will need the merge request description to explain what the title means (what generates this file being ignored? What does "we manage requirements with other means" refer to? and other information, that should all go in the merge request description).
Metadata Update from @bignose: - Pull-request tagged with: moreinfo
Closing this request in the absence of further information. Please feel free to create a new merge request if it can be better described.
Pull-Request has been closed by bignose
Co-authored-by: Hobbestigrou hobbestigrou@erakis.eu