• 1 Post
  • 56 Comments
Joined 2 years ago
cake
Cake day: June 15th, 2023

help-circle



  • Yes and no, its an official release, but basically these are “We think this issue is resolved or this new feature is ready”. The GrapheneOS team does a gradual rollout to prevent causing people issues (since people literally can live out of their phones).

    Alpha channel users get it, if they don’t notice any issues roll it out to beta channel users, if no issues found in the wider beta users, roll out to stable.

    Basically it prevents a bug from being pushed out to everyone and causing headaches for the devs. You can’t know everyone’s use case so by having a smaller number of users who are expecting breakage you can find bugs or showstoppers early before it lands on a more nontechnical users device.












  • Inside git’s internal plumbing folder, git holds a file with the branch name and all of the references (files and changes) for that branch.

    When you make a new branch git will update its internal plumbing checking to see if the new branch already exists, updates its references to the new branch if it doesn’t (all held internally in a case sensitive way). It will then make that new branch file, git has already checked that the case senitive name for the branch doesn’t exist internally, so it should be good to go.

    Part of its process is creating that internal branch file… But wait!

    Windows doesn’t have case sensitive naming so when it tries to make that new branch file it will overwrite the old one (since it shouldn’t exist by git’s own reference!) All of the files and references for it now get nuked.

    Now you’re at best back to wherever that originally named branch came from, at worse your .git folder is properly borked.






  • If the service isn’t starting due to a changed port then one of two things are happening:

    1. Something else is using that port and its throwing an error
    2. There’s a configuration issue (typo, comment, or duplicate setting) that is preventing the server from starting

    Do you have any logs from the server that might help with determining which of these two it is?

    Also are you trying to access the service on your local network or via something like your mobile data or a VPN? Because if it’s the latter you probably need to configure your router to allow external traffic (which can be a security risk).