14 lines
433 B
PowerShell
14 lines
433 B
PowerShell
$ErrorActionPreference = 'Stop'
|
|
|
|
$ScriptDir = Split-Path -Parent $MyInvocation.MyCommand.Path
|
|
$RepoRoot = Split-Path -Parent $ScriptDir
|
|
|
|
if (Test-Path -LiteralPath (Join-Path $RepoRoot '.git')) {
|
|
git -C $RepoRoot pull --ff-only
|
|
} else {
|
|
Write-Host 'Skipping git pull because this repository is not initialized as a git repository yet.'
|
|
}
|
|
|
|
& (Join-Path $ScriptDir 'bootstrap.ps1')
|
|
& (Join-Path $ScriptDir 'verify.ps1') -Quick
|