create a .pinned file for jenkins core module updates