Haha, rad :D
Got curious and checked our system and sadly the id does not even exist. Probably too long ago from when we used another system π€
this post was submitted on 28 Aug 2025
70 points (100.0% liked)
Casual Conversation
1428 readers
42 users here now
Share a story, ask a question, or start a conversation about (almost) anything you desire. Maybe you'll make some friends in the process.
RULES
- Be respectful: no harassment, hate speech, bigotry, and/or trolling.
- Encourage conversation in your OP. This means including heavily implicative subject matter when you can and also engaging in your thread when possible.
- Avoid controversial topics (e.g. politics or societal debates).
- Stay calm: Donβt post angry or to vent or complain. We are a place where everyone can forget about their everyday or not so everyday worries for a moment. Venting, complaining, or posting from a place of anger or resentment doesn't fit the atmosphere we try to foster at all. Feel free to post those on !goodoffmychest@lemmy.world
- Keep it clean and SFW
- No solicitation such as ads, promotional content, spam, surveys etc.
Casual conversation communities:
- !casualuk@feddit.uk
- !casualeurope@piefed.social
- !forumlibre@jlai.lu
- !batepapo@lemmy.eco.br
- !esp@lemm.ee
Related discussion-focused communities
- !actual_discussion@lemmy.ca
- !askmenover30@lemm.ee
- !dads@feddit.uk
- !letstalkaboutgames@feddit.uk
- !movies@piefed.social
- !television@piefed.social
founded 2 years ago
MODERATORS
Reminds me of when I tried to celebrate our 1000th ticket and nobody was amused with me.
Soulless bureaucrats
Nice
What is PR #insertNumber?
Pull request. Basically to make some code changes and are asking for them to be accepted
It's software development lingo, sorry for that.
When a software development team works on a project made of files containing code, each member can work independently on its own copy (called a "branch") of the "main" version of the code. Once a developer is happy of his modifications, he submits his changes to the team for review, before the changes can be merged to the "main" version.
This presentation of the modifications and review process is sometimes called a "merge request" or a "pull request". "Pull", because historically, other members would pull the version to their own machine for analysis. Nowadays, it can all be done on a web page (on GitHub for example). The PR has a tab for the modifications description and discussion, and a tab that highlights all the differences in the code between the "main" version and the new modified version.
When one creates such PR, a sequential number is automatically attributed, it serves as a quick identifier for the PR. And I was lucky to be the one to open the 1337th PR on this project. It's quite insignificant, just a little coolness factor.
Oh thatβs pretty cool! The number and the system. Never really used github, branches or anything like that. My tiny software projects were never big enough to warrant heavy infrastructure like that, so I never looked into it.
The infrastructure is pretty light, but the methodology with git takes time to learn. It's only really useful if there's more than one developer.