On Sat, Dec 16, 2023 at 11:55:08AM -0300, James Almer wrote: > On 12/16/2023 11:52 AM, Paul B Mahol wrote: > > On Sat, Dec 16, 2023 at 3:49 PM James Almer wrote: > > > > > On 12/16/2023 11:47 AM, Paul B Mahol wrote: > > > > On Sat, Dec 16, 2023 at 3:45 PM James Almer wrote: > > > > > > > > > On 12/16/2023 11:43 AM, Paul B Mahol wrote: > > > > > > On Sat, Dec 16, 2023 at 3:41 PM James Almer wrote: > > > > > > > > > > > > > On 12/16/2023 11:34 AM, Paul B Mahol wrote: > > > > > > > > Can someone commit this already? > > > > > > > > > > > > > > You still have commit rights. > > > > > > > > > > > > > > > > > > > For web? > > > > > > > > > > Yes, The ssh key you use for ffmpeg.git should work for ffmpeg-web.git > > > too. > > > > > > > > > > > > > Dunno what is git url. > > > > > > Push url should be git@git.ffmpeg.org:ffmpeg-web.git > > > > > > Cloning into 'ffmpeg-web'... > > Enter passphrase for key '/home/computer/.ssh/id_rsa': > > FATAL: R any ffmpeg-web durandal DENIED by fallthru > > (or you mis-spelled the reponame) > > fatal: Could not read from remote repository. > > > > Please make sure you have the correct access rights > > and the repository exists. > > Weird, i thought it was the same key, but guess not. ffmpeg-web is a seperate repository, and has a seperate list of keys that have access. whenever someone needed access i added his/her key, so many people probably didnt notice. ATM the list is less than one quarter of the main ffmpeg repository. Most people dont work on ffmpeg-web. If paul wants to work on ffmpeg-web, iam happy to add his key. Also if people want i can make the lists the same, its not hard. thx [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB Awnsering whenever a program halts or runs forever is On a turing machine, in general impossible (turings halting problem). On any real computer, always possible as a real computer has a finite number of states N, and will either halt in less than N cycles or never halt.