@fdroidorg Although, I check "Delete source branch when merge request is accepted." in the "merge options" of my pull requests I notice that the remote branch never gets deleted at https://gitlab.com/fdroid/fdroiddata
Is that on purpose or a bug?
@fdroidorg Although, I check "Delete source branch when merge request is accepted." in the "merge options" of my pull requests I notice that the remote branch never gets deleted at https://gitlab.com/fdroid/fdroiddata
Is that on purpose or a bug?
The “that’s a strange error” to learning to write unit tests for Javascript pipeline.
Something I tell juniors, but I think a few experienced devs could also benefit from: Review your own PRs
https://thisgetthoughts.bearblog.dev/devs-review-your-own-prs/
Our team is still using the 2018 Gitlab's recommended method solve CHANGELOG conflict nighmare.
🤔Just curious if there's a more 2023 approach?
Help us: share your thoughts!
#git #github #Gitlab #MergeRequests #CHANGELOG #efficiency
https://about.gitlab.com/blog/2018/07/03/solving-gitlabs-changelog-conflict-crisis/
Just to clarify @ new arrivals: Musk has not given his $US 44G to the Fediverse, and we don't have a centralised kitty to pay the developers who left the birdsite and "employ" them.
Find ways to support the developers of #Pleroma, #Pixelfed and so on: provide money or comment usefully on #GitRepository issues (or at least upvote their priority) or propose #MergeRequests with the required features or provide detailed bug reports.
Software is developed by people.