diff options
| author | diogo464 <[email protected]> | 2026-02-11 21:50:22 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-02-11 21:50:22 +0000 |
| commit | cb3beb3819942b1b8c224a905299ca91c6a72b5b (patch) | |
| tree | 08f273d3f7dedc1f044ad7017119718f6b10bfb5 /scripts | |
| parent | 62e24e5a18b7041717668dff780bd923d0506c47 (diff) | |
| parent | 5e5448bdd899ba9ba263200616a348acda5eb0ed (diff) | |
Merge pull request #1 from jbordalo/main
Add support for differing username between cluster and local machine
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions