So maybe you've heard something I haven't, according to this timeline, there was only 2-3 minutes between when the ship issued a mayday and the bridge collapsed: https://www.cbsnews.com/news/francis-scott-key-bridge-collapse-timeline-911-call-dali-cargo-ship-mayday-maps-construction-worker-recovery/

It sounded like there was 1 police officer already stationed on either end of the bridge, so thats the only reason they were even able to close the bridge before the collapse.

In the time it took them to do that, I can't see how there would have been time to warn them physically (it's like a 2 mile bridge). From the article, it sounded like there was confusion about if a crew was even on the bridge. I also don't know how often / what mechanism police can use to directly contact crews, if there even is one.

To expand on this a bit, git pull under the hood is basically a shortcut for git fetch (get the remote repository's state) and git merge origin/main main (merge to remote changes to your local branch, which for you is always main).

When you have no local changes, this process just "makes a line" in your commit history (see git log --graph --decorate), but when you have local changes and the remote has changed too, it has to put those together into a merge commit - think a diamond shape with the common ancestor at the bottom, the remote changes on one side, your changes on the other side, and the merge of the two at the top.

Like the above comment says, normally this process is clarified at the command line - VSCode must be handling it automatically if there are no code conflicts.

I made one such tool!

https://github.com/CMahaff/lasim

I know there's also a python script out there and a new Android app that has active syncing. I don't have links handy to those on mobile.

Under this broad of a ruleset, all software would have to be open source.

Hey thanks for sharing my tool! If anyone has any questions, let me know!

I would kindly redirect any kind comments you have, or suggests for items to add, to @[email protected], the original creator of the list.

I am but a humble cross-poster.

LASIM author here - you are correct. I explicitly made it "additive" to avoid accidents where you could end up erasing a bunch of subscriptions. Right now LASIM only calls the subscribe API interface so it's actually impossible for it to unsubscribe you from anything.

I am considering adding a "destructive" sync in the future which, if toggled on, would unsubscribe you from anything not in the JSON file. But it's not implemented yet!

I posted this on another thread about this, but I'll repost it here:

I have made a tool that can backup / copy your account settings, subscriptions, and blocks to a new account: https://github.com/CMahaff/lasim

There are others out there as well if you look.

Obviously the loss of .ml communities would still be catastrophic to Lemmy, but at least your new account won’t start from ground-zero, and you can be less effected by downtime by having 2 accounts with the same subscriptions.

The linked GitHub has a "releases" section. Download for your platform. Double click executable.

This bug also needs to be fixed so that a user logging out / changing password actually correctly invalidates their JWT token: https://github.com/LemmyNet/lemmy/issues/3364

I suspect that last night even if an admin knew their account was compromised, they probably couldn't do anything about it without DB access.

If vlemmy comes back up you can use this tool I made to pull down a list of subscriptions, blocks, etc. and if you want, copy all those to a new account:

https://github.com/CMahaff/lasim

Obviously your comments, etc. are gone, but at least you can keep browsing uninterrupted from another instance.

Your professionalism and experience is part of why I decided to make this my "home" instance. Thanks for all the work keeping this up and stable over the last few days!