githubOptions.mergify
githubOptions.mergifyOptions
projenCredentials
project.addPackageIgnore
npmRegistryUrl
releaseTrigger: ReleaseTrigger.continuous()
releaseTrigger: ReleaseTrigger.scheduled()
release
project.addTask()
package.setScript()