···1717## How to update stuff:
1818 - Run ./bin/update_bin.py
1919 - This will update binary IDEs and plugins, and automatically commit them
2020- - Source builds need a bit more effort, as they aren't automated at the moment:
2020+ - Source builds need a bit more effort, as they **aren't automated at the moment**:
2121 - Find the build of the stable release you want to target (usually different for pycharm and idea, should have three components)
2222- - I find this at https://jetbrains.com/updates/updates.xml (search for `fullNumber`)
2222+ - I find this at https://jetbrains.com/updates/updates.xml (search for `product name="`, then `fullNumber`)
2323 - Update the `buildVer` field in source/default.nix
2424- - Empty the `ideaHash`, `androidHash` and `jpsHash` (only `ideaHash` changes on a regular basis) fields and try to build to get the new hashes
2525- - Run `nix build .#jetbrains.(idea/pycharm)-community-source.src`, then `./source/build_maven.py source/idea_maven_artefacts.json result/`
2424+ - Empty the `ideaHash`, `androidHash`, `jpsHash` and `restarterHash` (only `ideaHash` and `restarterHash` changes on a regular basis) fields and try to build to get the new hashes
2525+ - Run `nix build .#jetbrains.(idea/pycharm)-community-src.src.src`, then `./source/build_maven.py source/idea_maven_artefacts.json result/`
2626 - Update `source/brokenPlugins.json` (from https://plugins.jetbrains.com/files/brokenPlugins.json)
2727 - Do a test build
2828 - If it succeeds, make a PR/merge