add remoteid attribute to PijulRemote

Freax13

Aug 5, 2021, 10:51 AM

THV6EE4BP2CGVSJ4637UKWNSFUOB7OZI76PVXEKTF4BVCPQ5RSMQC

Dependencies

• [2] 4LFJBVTG filter out empty lines when fetching remotes
• [3] YTQW3VKI Run yarn lint --fix
• [4] MWB5VXBV New remotes format
• [*] ZGMIJNFV Create pijul.ts for executing commands using the Pijul CLI
• [*] 3FBABWSM Add remotes view on the SCM panel

Change contents

• replacement in src/pijul.ts at line 521
  [2.55]→[2.55:116](∅→∅)
  − result.push(new PijulRemote(l.slice(i + 1).trim()));
  [2.55]

  [2.116]
  + result.push(new PijulRemote(l.slice(0, i).trim(), l.slice(i + 1).trim()));
• edit in src/pijul.ts at line 706
  [7.2252]

  [7.2252]
  + public readonly remoteid: string,